Kategóriák: Minden - semântica

a Ana Paula Galdino 11 éve

271

Mapa conceital lógica

A linguagem proposicional é uma área da lógica que lida com sentenças declarativas que podem ser classificadas como verdadeiras ou falsas. Dentro desse campo, conceitos como consequência lógica, equivalência, e implicação são fundamentais para a construção de argumentos e teoremas.

Mapa conceital lógica

Linguagem Proposicional

Sub-Formulas

Casos indutivos
Indução estrutural

Formulas

Classificação
Insatisfazivel
Satisfazivel
Falsificavel
Válida,
Indutivo
Indução

Expressividade Lógica

Linguagem que possui um unico sentido, sem ambiguidade
Audio notes
Creativity
Presente na matemática e na computação
I can be your partner as you work on your computer
Presente na linguagem formal
Android
iPad

Consequência Lógica

Equivalência
Teorema de dedução
Conjunto de formulas - teoria

Sentenças

Auto Referentes
Quantificadoras
Algum
Nenhum
Todas
Proposições
Negação"NÂO"
Implicação "SE, ENTÃO"
Disjunção"OU"
Conjunção "E"

Semântica

Verdadeiro ou Falso

Alfabeto

Elementos de Pontuação
() , .
Conectivos Booleanos
Conectivos binários
Implicação
Disjunção
Conjunção (&)
Conectivos Propisicionais
^, v, ...
Símblos proposicionais
P, Q, R, S, P1, Q1, S1, A, B, ...