[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 180 KB, 900x648, 1393557932198.jpg [View same] [iqdb] [saucenao] [google]
6396499 No.6396499[DELETED]  [Reply] [Original]

Is a "proposition" a logical sentence which can be true or false, or "proposition" does it already imply that it's true?

>> No.6396519

Stop shitposting with philosophical concerns

>> No.6396525

do you mean presupposition?

>> No.6396527

>>6396519
it's a completely formal question, I want to ask how it's used in mathematics

>> No.6396541

>>6396499
The former. "1 = 1" is a true proposition. "1 = 2" is a false proposition.

>> No.6396542

>>6396499
>>6396527
In logic "proposition" is used to mean that the things that have truth values and are expressed by some sentences.
For instance, the sentences:

S1. USA is north of Texas.
S2. USA er nord for Texas.

means the same thing and expresses the same true proposition. Propositions are independent of language.

In nonclassical logics, there may be other than 2 numbers of truth values, even infinite (e.g. fuzzy logic).

>> No.6396543

>>6396541
thank you