LGICA MATEMTICA

TABELA DAS IMPLICAES LGICAS: ( TABELA IL ).

p pq

ADIO

pq p

SIMPLIFICAO

p q ~ p q

SILOGISMO DISJUNTIVO

p q p q

MODUS PONENS

p q ~ q ~ p

MODUS TOLLENS

**
p q q r p r

SILOGISMO HIPOTTICO

p ~ p f

PRINCPIO DA INCONSISTNCIA

p q p q

xxxxxxxxxxxxx

p q q r p r

xxxxxxxxxxxxx

p q r s p r q s

xxxxxxxxxxxxxx

p q q r p r

xxxxxxxxxxxxxx

TABELA DAS EQUIVALNCIAS LGICAS ( TABELA EL )

p p p

1)
3)
5)
7)
9)

pq q p
( p q) r p ( q r )

p q r ( p q) p r
~ p q ~ p ~ q

11)
13)
15)
17)
19)

pv v
p f p

p ~ p v
p ~~ p

(Dupla Negao)
p q p q q p

2)
4)

p p p

pq q p

(Idempotncia)

(Comutatividade)
( p q) r p ( q r )
6)
(Associatividade)
p q r ( p q) p r
8)
(Distributividade)
~ p q ~ p ~ q
10)
(Leis de De Morgan)
pv p
12)
p f f
14)
p ~ p f
16)
p q ~ p q
18)
(Implicao)
p q r p q r
20)
(Exportao)

21)
23)
25)

p q p ~ q ~ p
~ p q p ~ q
p q ~ p ~ q

(Absurdo)

22)
24)
26)

p q ~ q ~ p

(Contrapositiva)

p q p q ~ p ~ q
p q ~ p ~ q