Mapa conceital lógica

Ver más

Mapa conceitual 2; alunos: Helena Trevisan, Sarah Moretto, Rodrigo Fontoura, Carolina Souza (M3)

por Sarah Moretto

LINGUAGEM

por Ali Casarotto

carolacacia@gmail.com

por Carolina Acácia de Souza Boia Teodozio

O que monitorar?

por Danilo Franco

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, ...