Linguagem Proposicional
Alfabeto
Símblos proposicionais
P, Q, R, S, P1, Q1, S1, A, B, ...
Conectivos Propisicionais
^, v, ...
Conectivos binários
Conjunção (&)
Disjunção
Implicação
Conectivos Booleanos
Elementos de Pontuação
() , .
Semântica
Verdadeiro ou Falso
Sentenças
Proposições
Conjunção "E"
Disjunção"OU"
Implicação "SE, ENTÃO"
Negação"NÂO"
Quantificadoras
Todas
Nenhum
Algum
Auto Referentes
Consequência Lógica
Implicação
Conjunto de formulas - teoria
Teorema de dedução
Equivalência
Expressividade Lógica
Presente na linguagem formal
iPad
Android
Presente na matemática e na computação
I can be your partner
as you work
on your computer
Linguagem que possui um unico sentido, sem ambiguidade
Creativity
Audio notes
Formulas
Indução
Indutivo
Classificação
Válida,
Falsificavel
Satisfazivel
Insatisfazivel
Sub-Formulas
Indução estrutural
Casos indutivos