: 1) ( Ù, &, ×); 2) ( Ú, Ú); 3) ( É, ); 4) ( : º, , ~); 5) ( : Ø, ~). , , . , .
V
- , (, a), (, (pÙq)Ér), , : (Øa) (Ø(pÙq)Ér)), : , , p q, r. : , , , . p q : (pÙq), r, (pÙq)Ér).
.
1. ( . conjunction , ) , . . , , , . , , , , , , , , , . ., . , -, (pÙq).
V
:
, , , , : p q . : (pÙq).
, , , , , : p , q r . : (pÙqÙr).
|
|
2. ( . disjunction , ) , . . , , , . , , , . . ( ), ( ), () (, ) .
V
, -, (p , q ); (pÚq) . , -, (p , q ); (p Ú q) ( ).
3. () ( . implicatio , implico ) , (É), , , . , , , , , , , , , . . ( . antecedens , ). ( . consequens ). , . , () , , ; : pq. (pq) : , , . , . , : () .
V
, , . , (pÚØp)Éq, .
|
|
4. () ( . aequivalens , ) , (º), , , , , . , , , , , , , , , , , . . p, q, p q : p, q q, p ( ).
V
, .
5. , Ø, , . , .
V
, (Øp). , (Ø(pÙØp)) . .
, , . . . p ( ), ( ): pÙq, pÚq, pÉq, pº q, Ø p, Ø ( pÙq ) . . , , , .