Question

Mostre que o argumento com as premissas r ∨ s, ¬s, ¬q ∨ s, p → q, ¬p ∨ r → u e a conclusão u é válido.

Answer 1

Resposta:

Não usem drogas

Explicação passo-a-passo:

r ou s, não s, (não q ou s), (p então q), (não p ou r) então u

vejamos (alinha aí depois):

p   q   r   s        r v s            ¬s          ¬q v s         p>q        ¬p v r      u

0   0   0  0         0                1                 1              1              1           1

1   0   0   0         0                1                 1              0             0          0

0   1   0   0         0                 1                0             1              1            1

1   1   0    0          0                1                0              1             0          0

0   0   1   0          1                1                 1               1             1            ah cansei,

1   0   1    0          1                1                 1              0             1            ta errado

0   1   1    0          1                1                 0             1              1

1   1    1    0         1                 1                 0             1              1

0   0  0   1            1               0                1               1            1

1   0   0    1          1               0                  1              0           0

0   1   0    1          1                0                 1               1            1

1   1    0    1          1                0                 1               1            0

0   0   1    1          1                0                1               1             1

1   0   1    1           1                0                 1               0           1

0   1   1    1            1               0                 1              1             1

1   1    1    1            1               0                 1               1

(carai, esqueci do U shh...)

https://www.youtube.com/watch?v=wsmlro_E7Nw