Ley de la adición

(2) P V Q LA1
(3) R V Q LA2
(4) S PP1,3

(2) Q V ¬P LA1

(3) T V S LA1
(4) Q PP2,3

(3) ¬R V ¬S LA1
(4) ¬P PP2,3
X

(2) ¬T V ¬P LA1
X
 (4) ¬T TT1,2
(4) ¬Q TT2,3
TP1,4 (5) ¬T V R LA4
(5) T
LA5 (6)Q PP3,5
(6) T V S

(3) R TT1,2
(4) R V ¬T LA3

(4) Q S1 (4) P & Q PP1,2

(5) ¬T TT2,4 (5) Q S4
(6) R PP5,3 (4) T V Q LA5
(7) R V ¬S LA6
 (5) 2 – x 1 S1
(6) x  1 TT2,5
(7) x + 2 = 5 TP3,6
(8) x + 2 = 5 V x -2 =1 LA7
(9)x = 3 PP4,8
(4) csc30°=2.0 PP1,2
(5) tag30°=0.577 PP3,4
(6) tag30°=0.577V cos60° = 0.5 LA5

(4) ¬R S2 P ¬Q
(5) ¬S TT1,4 S R
LA5(6) ¬S V T
(7) P PP3,6 T
(8) P&Q LA7
 Silogismo Hipotético

Si mi hermana está en casa entonces nadie la va a contratar.

Si los hombres son amables entonces tendrán muchos amigos.

Si no me despierto, no me divertiré.

Si llueve durante la noche entonces necesitarías usar ropa abrigadora.

 P

(3) Q  R HS1,2 (3) S V T  ¬P HS1,2

P

(3) P  T HS1,2 (3) S  ¬R HS1,2

(4) ¬Q TT1,3
(4) Q  R S1 (5) ¬¬P TT2,4
(5) ¬T PP1,3 (6) P DN5
 (5) x = 3  x < z HS1,4
(6) ¬ (x < z) PP3,5
(7) x  3 TT5,6
(8) z = 5 PP2,7
(9) z = 5 V z > 5 LA8

(5) x > 5  y < x HS1,4

(6) y = 5 PP2,5 (5) 5x -3 = 17  x < y HS1,4
(7) x = 6 TP3,6 (6)2x  6 TT5,3
(8) x = 6 V X > 6 LA7 (7)x  3 TP2,6
(8) x  3 V 4 > x LA7

(5) x  y  x  4 HS1,2 (4) z = 1 S3

(6) ¬ (x < y) TT3,5 (5) x + z = 3  x +y = 5 TP2,4
(7) x  y  x > y (6) x + y  5 S3
TP1,6 TT5,6
(8) x > y PP7,4 (7) x + z  3
(8)
(9) x + y = 5  y = 3
TP1,7
(9) y  3 TT8,9
(10) x + z = 3  y = 3 HS5,8
 Silogismo Disyuntivo

1. O Pedro será el tesorero o Juan será el tesorero.

2. O este numero es mayor que 0 o es menor que 0.
3. Esta piedra o es sedimentaria o es ígnea.
4. O es mi cámara o Tomas es su propietario legal.
5. O esa planta fabrica su alimento o depende de las materias de otras plantas
para su alimento.
 (4) R  ¬S DS1,2,3
(4) P  Q DS1,2,3

(4) ¬S  ¬T DS1,2,3 (4) ¬Q  P DS1,2,3

(4) ¬R S1
(5) ¬P TT3,4 (5) ¬T TP2,4
(6) Q TP1,5
(6) ¬Q TT3,5
(7) R PP2,6
(7) S S1
(8) P V Q LA6
(8) ¬Q & S A6,7
(9) R & (P V Q) A7,8

(5) ¬Q TT2,3
(5) R TT2,4 (6) ¬P TT1,5
(6) P TP1,5 (7) T & S TP4,6
(7) T PP3,6 (8) S S7
 (5) (x < z V y < z) DS1,2,3
(4) x = 2 V x = 3 DS1,2,3 (6) ¬(y<z) S4
(7) x < z TP5,6

(8) ¬¬(x<z) DN7

(9) z = 6 S4
(10) ¬ (z  6) DN11
(11) ¬¬(x<z) V ¬ (z  6) LA10,12

(4) x = 2 V x > 2 DS1,2,3

(5) xy = 0 V xy > 3 DS2,1,4
(6) x  4 PP3,5
(7) x  4 V x > 3 LA6