Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
8Activity
0 of .
Results for:
No results containing your search query
P. 1
Tabela verdade (Thiago Quillice)

Tabela verdade (Thiago Quillice)

Ratings: (0)|Views: 4,666 |Likes:
Published by api-3767762

More info:

Published by: api-3767762 on Oct 16, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

03/18/2014

pdf

text

original

Nome: Fernanda Marinho da Silva 3\u00baPer\u00edodo-Vespertino
Texto: As Tabelas Verdades
Tabela verdadeou tabela de verdade s\u00e3o um tipo de tabela matem\u00e1tica usada eml\u00f3gi ca
para determinar se umaexpress\u00e3o \u00e9 verdadeira e v\u00e1lida.
Tabelas verdades derivam do trabalho de Gottlob Frege, Charles Peirce e outros dad\u00e9c ada
de 1880, e tomaram a forma atual em 1922 atrav\u00e9s dos trabalhos de Emil Poste Ludwig
Wittgenstein. A publica\u00e7\u00e3o de Tractatus Logico-Philosophicus, de Wittgenstein, utilizava
delas para classificar fun\u00e7\u00f5es verdades em uma s\u00e9rie. A vasta influ\u00eancia de seu trabalho
levou, ent\u00e3o, a difus\u00e3o do uso de tabelas verdades.
\u00cdndice
[esconder]
\u2022
1 Como construir uma tabela de verdade
\u2022
2 Tabelas das Principais Opera\u00e7\u00f5es do C\u00e1lculo Proposicional
o
2.1 Nega\u00e7\u00e3o
o
2.2 Conjun\u00e7\u00e3o (E)
o
2.3 Disjun\u00e7\u00e3o (OU)
o
2.4 Implica\u00e7\u00e3o (Se... Ent\u00e3o)
o
2.5 Bi-implica\u00e7\u00e3o (Se e somente se)
o
2.6 Disjun\u00e7\u00e3o Exclusiva (Ou... ou)
o
2.7 Adaga de Quine (NOR)
\u2022
3 Como usar tabelas para verificar a validade de argumentos
o
3.1 Alguns argumentos v\u00e1lidos
o
3.2 Algumas Fal\u00e1cias
\u2022
4 Como usar tabelas para verificar a equival\u00eancia de f\u00f3rmulas
\u2022
5 Ver tamb\u00e9m
[editar] Como construir uma tabela de verdade
Uma tabela de verdade consiste em:
1\u00ba) Uma linha em que est\u00e3o contidos todas as subf\u00f3rmulas de uma f\u00f3rmula. Por
exemplo, a f\u00f3rmula \u00ac((A\u2227B)\u2192C) tem o seguinte conjuntos de subf\u00f3rmulas:
{ \u00ac((A\u2227B)\u2192C) , (A\u2227B)\u2192C , A\u2227B , A , B , C}

2\u00ba)l linhas em que est\u00e3o todos poss\u00edveis valores que os termos podem receber e os
valores cujas as f\u00f3rmulas moleculares tem dados os valores destes termos.
O n\u00famero destas linhas \u00e9l =nt , sendon o n\u00famero de valores que o sistema permite
(sempre 2 no caso do C\u00e1lculo Proposicional Cl\u00e1ssico) et o n\u00famero de termos que a

Activity (8)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
robinsons liked this
daniel_lucas_3 liked this
Anderson Lisboa liked this
enemdeaa liked this
iriemn liked this
Olival Júnior liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->