TABELA VERDADE PROPOSIÇÕES

CONECTIVO;
NOME SÍMBOLO TABELA VERDADE COMPOSTAS COM MAIS DE UM CONECTIVO NEGAÇÃO DE PROPOSIÇÕES
PRINCIPAL
IGUALAR A PROPOSIÇÃO A: COMPOSTAS
E CONJUNÇÃO ^ DUAS VERDADES = V TRUE ~(A E B ) = (~A OU ~B)
OU DISJUNÇÃO V PELO MENOS UMA VERDADE = V FALSE ~(A OU B ) = (~A E ~B)
OU...OU DISJUNÇÃO EXCLUSIVA VV SÓ UMA VERDADE = V FALSE ~P VV Q = (P ↔Q)
SE...,ENTÃO CONDICIONAL / IMPLICAÇÃO → VERA+FISHER = FALSA FALSE ~(A →B) = (A E ~B)
SE,E SOMENTE SE BICONDICIONAL ↔ AS DUAS IGUAS = V TRUE CONECTIVO BICONDICIONAL
NEGAÇÃO ~ OU ‫ﬢ‬ 1º)~( P↔Q)= P VV Q
2ª ~(P↔Q) = (P →Q) ^ (Q→P)
NUMERO DE LINHAS DA TABELA : N=2 ͯ 3ª ~(P↔Q) = (P ^ ~Q) V (Q^~P)
N= NÚMERO DE LINHAS 4ª ~(P↔Q) = (~P ↔ Q )
X= NÚMERO DE LETRAS (PROPOSIÇÕES) DIFERENTES 5ª ~(P↔Q) = (P ↔ ~Q)

NEGAÇÃO DE QUANTIFICADORES
QUANTIFICADOR NEGAÇÃO

ALGUM..NÃO/EXISTE UM QUE
TODO
NÃO/ PELO MENOS UM NÃO
TAUTOLOGIA = SEMPRE VERDADEIRA
CONTRADIÇÃO= SEMPRE FALSA ALGUM/EXISTE/PELO MENOS 1 NENHUM
CONTIGÊNCIA= VERDADEIRA OU FALSA NENHUM ALGUM

OBS: PARA INDENTIFICAR UMA TAUTOLOGIA ,PRIMEIRAMENTE, DEVEMOS IDENTIFICAR O CONECTIVO PRINCIPAL, QUE É AQUELE QUE FICA POR ÚLTIMO NA CONTA.

PASSOS PARA IDENTIFICAR UMA TAUTOLOGIA TÉCNICA PARA RECONHECER UMA CONTRADIÇÃO CONTINGÊNCIA
I - IGUALAR A PROPOSIÇÃO A FALSO
II - PROCURAR O CONECTIVO PRINCIPAL A MAIORIA DAS PROPOSIÇÕES
BASTA USAR OS PASSOS DA TÉCNICA DA TAUTOLOGIA INVERTIDA,
SÃO CONTINGÊNCIAS E PARA
III - SEPARAR A PROPOSIÇÃO EM DUAS PARTES: UMA ANTES DO PRINCIPAL E OUTRO DEPOIS OU SEJA, AO INVÉS DE IGUALAR A FALSO, IGUALA-SE A VERDADEIRO
AVERIGUAR SE ESTAMOS DIANTE
IV - ANALISAR DE QUE MANEIRA É POSSÍVEL FAZER O CONECTIVO PRINCIPAL DAR FALSO E FAZ O TESTE. SE NÃO APARECER ERRO, ELA NÃO SERÁ
DE UMA, BASTA SE CERTIFICAR
CONTRADIÇÃO. SE APARECER ALGUM ERRO, COM CERTEZA SERÁ
V - ANALISAR A RESPOSTA: SE FOR POSSÍVEL O PRINCIPAL DAR FALSO, SEM GERAR NENHUM ERRO, ENTÃO DE QUE NÃO É TAUTOLOGIA E
UMA CONTRADIÇÃO. NEM CONTRADIÇÃO.
NÃO É TAUTOLOGIA. SE APARECER ALGUM ERRO DE TABELA VERDADE, SERÁ TAUTOLOGIA

EQUIVALÊNCIAS LÓGICAS LINGUAGUEM NA CONDICIONAL PASSOS PARA INDENTIFICAR UM ARGUMENTO VÁLIDO OU INVÁLIDO
CONECTIVO REGRA 1º SIMBOLIZAÇÃO
SE..., ENTÃO INVERTE A ORDEM E NEGA TUDO 2º IGUALAR AS PREMISSAS = VERDADEIRA
TROCA O CONECTIVO PELO CONECTIVO 3º IGUALAR A CONCLUSÃO = FALSO
SE..., ENTÃO
"OU", NEGAR A 1ª E REPETE A 2ª 4º FECHAR O ARGUMENTO
TROCA O CONECTIVO PELO CONECTIVO 5º ÁNALISE SE CONSEGUE FECHAR = INVÁLIDO
OU
"SE..., ENTÃO", NEGAR A 1ª E REPETE A 2ª SE DAR ERRO = VÁLIDO
OU...OU PVVQ = (P^ ~Q) v (Q ^ ~P)
P↔Q = (P → Q) ^ (Q → P)
SE, E SOMENTE SE CONDIÇÃO SUFICIENTE E NECESSÁRIA: TODA VEZ QUE USAMOS ESSA LINGUAGEM
P↔Q = (P ^ Q) v (~P ^ ~Q) LÓGICA DE ARGUMENTAÇÃO COM QUANTIFICADORES ( DIAGRAMAS)
ESTAMOS DIANTE DE UM BICONDICIONAL.
CONECTIVO DETALHE DIAGRAMA
TODO DENTRO
ALGUM/ EXISTE CRUZA
NENHUM FORA