transitividad del silogismo

Si ( de señor a clon y de clon a objetivo ) ==> de señor a objetivo.

Si ( de señor a Dios y de Dios a objetivo ) ==> de señor a objetivo.

Teorôctetxtekiuta:

Si ( ( a ==> b ) & ( b ==> c ) ) ==> ( a ==> c )

Si ( ( a <== b ) & ( b <== c ) ) ==> ( a <== c )

Mesorgôctetxtekiuta:

Si ( ( a ==> b ) & ( b ==> c ) ) ==> ( a & ¬c )

Si ( ( a <== b ) & ( b <== c ) ) ==> ( ¬a & c )

Teorôctetxtekiuta:

( a || b ) <==> ( b || a )

( ¬a & ¬b ) <==> ¬( a || b )

Mesorgôctetxtekiuta:

( ( a || b ) <==> ( a & ¬b ) ) & ( ( b || a ) <==> ( b & ¬a ) )

¬( ( a || b ) <==> ( a & ¬b ) ) || ¬( ( b || a ) <==> ( b & ¬a ) )

Demostració mesorgôctetxtekiana:

(111)0(100) (111)0(001)  (111)0(100) (111)0(001)

(110)1(111) (011)0(000)  (011)0(000) (110)1(111)

(011)0(000) (110)1(111)  (110)1(111) (011)0(000)

(000)1(001) (000)1(100)  (000)1(001) (000)1(100)

Teorôctetxtekiuta:

( a & b ) <==> ( b & a )

( ¬a || ¬b ) <==> ¬( a & b )

Mesorgôctetxtekiuta:

¬( ( a & b ) <==> ( a || ¬b ) ) || ¬( ( b & a ) <==> ( b || ¬a ) )

( ( a & b ) <==> ( a || ¬b ) ) & ( ( b & a ) <==> ( b || ¬a ) )

Demostració mesorgôctetxtekiana:

(111)1(110) (111)1(011)  (111)1(110) (111)1(011)

(100)0(111) (001)1(000)  (001)1(000) (100)0(111)

(001)1(000) (100)0(111)  (100)0(111) (001)1(000)

(000)0(011) (000)0(110)  (000)0(011) (000)0(110)