A proposition can acquire links with other propositions, among them we have the connections “e” ( Ù ) and “or” ( Ú ). So we can define two situations:
Ù
The set of two propositions linked by a conditioning “e” ( Ù ) is true if both propositions are true.
Ú
The set of two propositions linked by a condition "or" ( Ú ) is true if at least one proposition is true.
Examples:
If there are two propositions (p) and (q) we define each proposition:
· P = I exist.
· Q = I think.
Since (V) is the truth set of an interaction of propositions using the “e” condition ( Ù ) we have the rules of the truth set.
V = p Ù q
Accepting the truth that I think, and accepting that I soon exist the truth set is true. "Well, I think I exist soon". Any of the propositions is false, makes the truth set false.
If there are two propositions (p) and (q) we define each proposition:
· P = I'm at home.
· Q ='m standing.
Since (V) is the truth set of an interaction of propositions using the condition “or” ( Ú ) we have the rules of the truth set.
V = p Ù q
In this case if and only if I am not at home and I am not standing, the truth is false. But if at least one of the propositions is true, the whole truth is true.
