EQUIVALENCIA LÓGICA
CONTRAPOSITIVO – SE…ENTÃO (P➡ Q) SE ESTUDO ENTÃO PASSO
INVERTE E NEGA (Q~➡ P~) SE NÃO PASSO ENTÃO NÃO ESTUDO
SILOGISMO DISJUNTIVO (SILOGISMO = EQUIVALÊNCIA)
ESTUDO OU PASSO (P v Q)
EQUIVALE A:
SE NÃO ESTUDO ENTÃO PASSO ( ~P➡ Q)
NEGA A PRIMEIRA E MANTEM A SEGUNDA
CONDIÇÃO SUFICIÊNTE E NECESSÁRIA
SE P ENTÃO Q (P ➡ Q)
P é condição SUFICIENTE para Q
Q é condição NECESSÁRIA para P
EX. SE ESTOU COM FOME ENTÃO COMO
ESTAR COM FOME É A CONDIÇÃO SUFICIENTE PARA COMER. COMER É A CONDIÇÃO NECESSÁRIA PARA ESTAR COM FOME
SE A EXPRESSÃO SUFICIENTE E NECESSÁRIA FOREM URTILIZADAS JUNTAS ESTAMOS FALANDO DA BICONDICIONAL
ex. vou a praia SE E, SOMENTE, SE não chover
ir à praia é condição SUFICIENTE E NECESSÁRIA para não chover, assim como não chover é condição SUFICIENTE E NECESSÁRIA para ir à praia
EQUIVALÊNCIA DO OU…OU
P Vba Q OU SOU BRASILEIRO OU SOU ARGENTINO
(P^~Q) V (Q^~P) SOU BRASILEIRO E NÃO SOU ARGENTINO OU SOU ARGENTINO E NÃO SOU BRASILEIRO
(=>) significa ENTÃO
EQUIVALENCIA BICONDICIONAL
P ↔ Q SOU FELIZ SE E SOMENTE SE CANTO
(P=> Q) ^ (Q => P) SOU FELIZ ENTÃO CANTO E SE CANTO ENTÃO SOU FELIZ
(P^Q) V (~P ^~Q) SOU FELIZ E CANTO OU NÃO SOU FELIZ E NÃO CANTO