P1: A->B
P2: B->C
Assertiva: Considerando as proposições P1 e P2 acima, a proposição P1^P2 é equivalente à proposição A -> C.
Concursos Públicos ⇒ Equivalência lógica
Moderador: [ Moderadores TTB ]
Mai 2022
02
19:18
Re: Equivalência lógica
Falsa:
[tex3]H: (A\rightarrow B)\wedge (B\rightarrow C) \equiv (A\rightarrow C) \\\ \\ Para ~~A=F, ~~~~~~B=T~~~~~~e~~~~C=F~~~~em~~H: \\\ \\ (F\rightarrow T) \wedge (T\rightarrow F) \equiv (F\rightarrow F) \\ T\wedge F \equiv T \\
F\equiv T~~~~~~(absurdo)[/tex3]
A conjunção de P1 e P2 não é equivalente à A->C. Para as instancias A=F,B=T e C=F a equivalencia nao é satisfeita.
[tex3]H: (A\rightarrow B)\wedge (B\rightarrow C) \equiv (A\rightarrow C) \\\ \\ Para ~~A=F, ~~~~~~B=T~~~~~~e~~~~C=F~~~~em~~H: \\\ \\ (F\rightarrow T) \wedge (T\rightarrow F) \equiv (F\rightarrow F) \\ T\wedge F \equiv T \\
F\equiv T~~~~~~(absurdo)[/tex3]
A conjunção de P1 e P2 não é equivalente à A->C. Para as instancias A=F,B=T e C=F a equivalencia nao é satisfeita.
Either you die as a programmer, or live long enough to become a scammer.
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última msg
-
- 2 Respostas
- 583 Exibições
-
Última msg por nathaliam
-
- 0 Respostas
- 475 Exibições
-
Última msg por Idocrase
-
- 3 Respostas
- 1104 Exibições
-
Última msg por Idocrase
-
- 0 Respostas
- 228 Exibições
-
Última msg por flavindecria
-
- 1 Respostas
- 277 Exibições
-
Última msg por petras