Mapa conceital lógica

Mai multe ca aceasta

carolacacia@gmail.com

creat de Carolina Acácia de Souza Boia Teodozio

Teorias do Conhecimento - Ana Jorge

creat de Ana Jorge

método científico e legitimidade da indução

creat de Ademar Terceiro

Eletrostática

creat de Estefani Chiabotto

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