1. 07ESTRUTURAS LÓGICAS P.3

TAUTOLOGIA

image

Certeza de "V"

Saída - tentar achar uma sentença "F"

Não é tautologia

Comutativos

V

download (1)

^

Não Comutativo

Se não tem absurdo

CONTRADIÇÃO

Contrário Tautologia

Princípio Substituição

Certeza "F"

image

image

Saída - tentar achar uma sentença "V"

Não é contradição

Se não tem absurdo

INDETERMINAÇÃO (Contingência)

Pelo menos 1 "V" e 1 "F"

Nº LINHAS

2^n

n = nº proposições simples e distintas

Construção Tabela Verdade

image