The new signs ‘ ‘, ‘ ‘, ‘>’, ‘-’, and you will ‘ ‘, correspond, respectively, toward information-qualities from conjunction, disjunction, material implication, situation equivalence, and you may negation.
Conjunction: The newest conjunction of a couple of statements and , printed in PL just like the , holds true when the each other and so are genuine, which is incorrect when the possibly are not true or perhaps is not true otherwise both are untrue. In essence, the meaning of your own operator ‘ ‘ are displayed with respect to the following chart, which ultimately shows the case-value of the new conjunction with respect to the five likelihood of the brand new truth-philosophy of pieces:
When you look at the a statement of one’s function , the 2 comments entered along with her, and you can , are known as the latest conjuncts, therefore the entire statement is named a conjunction.
And therefore, we have the after the graph:
As opposed to the indication ‘ ‘, different logical work make use of the cues ‘ ‘ or ‘ ‘ getting combination.
Disjunction: Brand new disjunction out of one or two statements and you will , printed in PL since , is valid in the event that either holds true or perhaps is real, or one another and tend to be true, that will be incorrect on condition that each other and generally are not the case. Sigue leyendo