Apostila Lógica para Computação

Universidade de Caxias do Sul
Centro de Ciências Exatas e Tecnologia
Prof. Simone C. Mendes Paiva

LÓGICA PARA COMPUTAÇÃO
MATERIAL DA DISCIPLINA

ÍNDICE
1.1 CONECTIVOS LÓGICOS ...................................................................................................................................... 4
1.1.1 Conectivo E (conjunção).................................................................................................................................... 4
1.1.2 Conectivo OU (disjunção).................................................................................................................................4
1.1.3 Implicação (condicional)....................................................................................................................................4
1.1.4 Equivalência ...................................................................................................................................................... 4
1.1.5 Negação..............................................................................................................................................................4
1.2 WFFS – FÓRMULAS BEM FORMADAS............................................................................................................................... 5
1.3 TABELAS-VERDADE........................................................................................................................................................ 8
1.3.1 Tabela-verdade da negação............................................................................................................................... 9
1.3.2 Tabela-verdade da conjunção ........................................................................................................................... 9
1.3.3 Tabela-verdade da disjunção ............................................................................................................................ 9
1.3.4