Lógica Computacional

Prévia do material em texto

DEIXE O LIKE
┈┈┈┈┈┈▕▔╲┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕┈┈┈┈┈┈
┈┈┈┈┈┈┈▏▕▂▂▂┈┈┈
▂▂▂▂▂▂╱┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▉▉▉▉▉┈┈┈▕▂▂▂▏┈┈
▔▔▔▔▔▔╲▂▕▂▂▂I
OU MORRA!!!
████▀░░░░░░░░░ ░░░░░░ ░░▀██ █
███│░░░░░░░░░░░░░░░░░░░│███
██▌│░░░░░░░░░░░░░░░░░░░│▐██
██░└┐░░░░░░░░░░░░░░░░░┌┘░██
██░░└┐░░░░░░░░░░░░░░░┌┘░░██
██░░┌┘▄▄▄▄▄░░░░░▄▄▄▄▄└┐░░██
██▌░│██████▌░░░▐██████│░▐██
███░│▐███▀▀░░▄░░▀▀███▌│░███
██▀─┘░░░░░░░▐█▌░░░░░░░└─▀██
██▄░░░▄▄▄▓░░▀█ ▀░░▓▄▄▄ ░░░▄█
████▄─┘██▌░░░░░░░▐██└─▄████
█████░░▐█ ─┬┬┬┬┬┬┬─█▌░░█████
████▌░░░▀┬┼┼┼┼ ┼┼┼┬▀░ ░░▐██ █
█████▄░░░ └┴┴┴┴┴┴┴┘░░░▄█████
███████▄░░░░░░ ░░░░░▄ █████ █
Considerando a demonstração da validade de r a partir de p→ q, p v r, ~q que seria
demonstrar a validade deste argumento: p →q, p v r, ~q Ⱶ r . Assinale a alternativa com a
demonstração CORRETA:
A) Têm-se as premissas:
C1: p →q
C2: p v ~r
C3: q
Deduz-se:
C4: ~p v q (C1: equivalência da condicional com uma disjunção)
C5: p (C3 + C4: silogismo disjuntivo)
C6: r (C2 + C5: silogismo disjuntivo)
Demonstra-se, assim, a validade de r a partir das três premissas dadas.
B) Têm-se as premissas:
C1: p →q
C2: p v r
C3: ~q
Deduz-se:
C4: ~p v q (C1: equivalência da bicondicional com uma conjunção)
C5: ~p (C3 + C4: silogismo conjuntivo)
C6: r (C2 + C5: silogismo disjuntivo)
Demonstra-se, assim, a validade de r a partir das três premissas dadas.
C) Têm-se as premissas:
C1: p →q
C2: p v r
C3: ~q
Deduz-se:
C4: ~p v q (C1: equivalência da condicional com uma disjunção)
C5: ~p (C3 + C4: silogismo disjuntivo)
C6: r (C2 + C5: silogismo disjuntivo)
Demonstra-se, assim, a validade de r a partir das três premissas dadas.
D) Têm-se as premissas:
C1: p →q
C2: p v r
C3: ~q
C4: r
Deduz-se:
C5: ~p v q (C1: equivalência da condicional com uma disjunção)
C6: ~p (C3 + C5: silogismo disjuntivo)
C7: r (C2 + C6: silogismo conjuntivo)
Demonstra-se, assim, a validade de r a partir das três premissas dadas.
E) Têm-se as premissas:
C1: p →q
C2: p v r
C3: ~q
Deduz-se:
C4: ~p v q (C1: equivalência da condicional com uma disjunção)
C5: ~p (C3 + C4: silogismo disjuntivo)
C6: p (C2 + C5: silogismo disjuntivo)
Demonstra-se, assim, a validade do argumento a partir das três premissas dadas.
RESPOSTA: C