Equivalências de proposições

Description

Raciocíno Lógico
Fernanda Guimarães
Flashcards by Fernanda Guimarães , updated more than 1 year ago
Fernanda Guimarães
Created by Fernanda Guimarães about 6 years ago
4
1

Resource summary

Question Answer
Equivalência de conjunção (^) Recíproca p^q= q^p
Equivalência de disjunção (v) Recíproca p v q= q v p
Equivalência de disjunção EXCLUSIVA(v_) Recíproca (p v_ q= q v_ p) Contrária (p v_ q= ~p v_ ~q) Contra-positiva (p v_ q= ~q v_ ~p) p v_q = (p ^ ~q) v (~p ^ q)
Equivalência bicondicional (<->) Recíproca (p <-> q= q <-> p) Contrária (p <-> q= ~p <-> ~q) Contra-positiva (p <-> q= ~q <-> ~p) p <-> q = (p -> q) ^ (q -> p)
Equivalência condicional (->) Contra-positiva (p->q= ~q -> ~p ) p -> q = ~p v q
LEIS DE MORGAN Negação de conjunção ~(p^q) = ~p v ~q
LEIS DE MORGAN Negação de disjunção ~(p v q)= ~p ^ ~q
Negação da disjunção exclusiva ~ (p v_ q) = ~p v_ q ~ (p v_ q) = p v_ ~q ~ (p v_ q) = p <-> q
Negação do bicondicional ~(p <-> q) = ~p <-> q ~(p <-> q) = p <-> ~q ~(p <-> q) = p v_ q
Show full summary Hide full summary

Similar

Business - Finance
LouisTaylor_
Joomla Extension
Santi Sounsri
C1 B1 & P1 Test
jodie00
edexcel gcse german vocabulary
samanthayates1998
Chemistry Keywords
John Appleseed
AQA AS Biology Unit 2 The Cell cycle
elliedee
Unit 1 Cells, exchange and transport (F211) - cells
Jenni
GCSE Chemistry C1 (OCR)
Usman Rauf
Mind Maps with GoConqr
Elysa Din
Present Simple/Past Simple Tenses
learning.buzz.in
1PR101 2.test - Část 15.
Nikola Truong