Considerando a tabela CG1A3-I, as informações a ela relacion...
Tabela CG1A3-I
conjunção ˄ | condicional ⇒ |
disjunção ˅ | Bicondicional ⇔ |
negação ~ |
Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e os símbolos lógicos usuais sejam representados de acordo com a tabela precedente.
Considerando a tabela CG1A3-I, as informações a ela relacionadas e que as primeiras três colunas da tabela-verdade da proposição lógica P˄(Q ⇒ R) sejam iguais a
a última coluna dessa tabela-verdade apresenta valores V ou F, tomados de cima para baixo, na sequência