Razonamientos

Validades de un razonamiento: Un razonamiento es valido cuando la proposicional que representa su estructura lógica en una tautologia si dicha forma prosicion es una contradicción entonces el razonamiento no es valido en cuyo caso se determina falacea.
H1^H2^H3
Hipótesis
C=1
Conclusión
H1: 1
H2: 0
H3: 1
¿ Determine si el siguiente razonamiento es valido ?
Si Pablo recibió un email, entonces toma el avión y estará a aquí en medio día. Pablo no toma el avión. Luego Pablo recibió el email.
H1=a->(b^c)
H2=¬b
C=¬a
[a->(b^c)^[¬b]->[¬a]
a b c ¬a ¬b (b^c) [a->(b^c)] [a->(b^c)]^(¬b) A
0 0 0  1   1     0            1                 1               1
0 0 1  1   1     0            1                 1               1
0 1 0  1   0     0            1                 0               1
0 1 1  1   0     1            1                 0               1
1 0 0  0   1     0            0                 0               1
1 0 1  0   1     0            0                 0               1
1 1 0  0   0     0            0                 0               1
1 1 1  0   0     1            1                 0               1
R= Tautologia