CONCEITOS GERAIS Proposio - uma declarao ou sentena que pode ser valorada como verdadeira ou falsa.

. Toda proposio uma sentena mas nem toda sentena uma proposio. PRINCPIOS Princpio da identidade - uma proposio verdadeira verdadeira; uma proposio falsa falsa. Princpio da no-contradio - uma proposio no poder ser verdadeira e falsa ao mesmo tempo. Princpio do terceiro excludo - uma proposio ser verdadeira, ou ser falsa, no haver outra possibilidade. CONECTI OS Condicionais Se nasci em Goi nia, ento sou !oiano. "bs. #ascer em Goi nia condio suficiente para ser !oiano. $ma condio suficiente !era um resultado necessrio. #ascer em Goi nia termo antecedente e ser !oiano termo consequente. !EIS "E #ORGAN %. & ne!ao de uma con'uno a dis'uno de suas ne!a(es. )o!o, a ne!ao de *A e $+ *no A ou no $+. ,-. / 0. & ne!ao de uma dis'uno a con'uno de suas ne!a(es. )o!o, a ne!ao de *A ou $+ *no A e no $+. ,-. /

,-. %. 1arlos 'ui2 e muito competente. 3esoluo. 1arlos no 'ui2 ou no muito competente. E%&I A!'NCIAS !(GICAS )* P + % ,- P. / % 0* P + % ,-%. + ,-P. - de/e -se trocar e/entuais conecti/os tipo A ou $ ento C1 2icar3 -C ento -A e $*

NEGA45O "E PROPOSI46ES CON"ICIONAIS E $ICON"ICIONAIS ) * Condicionais & ne7ao de uma proposio condicional ,P 8 -%.. P % -P 4 9 9 4 5 -% 4 5 4 P +% 5 4 5 9 9 -P+% 9 ,P 8 -%. 9

0* $icondicionais & ne7ao de uma proposio bicondicional ,P 8 -%. / ,% 8 -P. P % -P 4 9 9 9 9 4 5 5 -% 4 5 4 5 P:% 5 4 4 5 9 -P:% 9 ,P 8 -%. 4 5 4 4 ,% 8 -P. 4 4 5 4 9 ,P 8 -%. / ,% 8 -P. 9

TA$E!A ER"A"E P % -P 4 9 9 9 9 4 5 5 -% 4 5 4 5 P8% 5 4 4 4 P/% 5 5 5 4 P+% 5 4 5 5 P:% 5 4 4 5

E%&I A!'NCIA "E CONECTI OS 6uas proposi(es so l7!icamente equivalentes quando quando so compostas pelas mesmas proposi(es simples e os resultados de suas tabelas-verdade so id8nticos. 989/9 ,-. " professor feli2 e feli2 / " professor feli2. 9/9/9 ,-. :oana foi a praia ou a praia / :oana foi ; praia. 9 : < / *9+<+ =*<+9+ ,-. Trabalho na defensoria se e so;ente se estudar para o concurso / Se trabalho para a defensoria ento estudo para o concurso e se estudo para o concurso ento trabalho na defensoria. 9 + < / *>< ? >9+ / *>9 = <+ ,-. Se bebo ento sou rico / Se no sou rico ento no bebo / No bebo ou sou rico. Conecti/os co;utati/os - so os que podemos trocar a ordem.

9=</<=9 9v</<v9 9@</<@9 "IAGRA#AS !(GICOS 1hama-se ar7u;ento a afirmao de que um !rupo de proposi(es iniciais redunda em outra proposio final, que ser consequ8ncia das primeiras. Ar7u;ento /3lido1 <e; construdo ou le7ti;o aquele que sua concluso consequ8ncia obri!at7ria do seu con'unto de premissas. Ar7u;ento in/3lido1 ;al construdo1 2alacioso ou so2is;a - quando a verdade das premissas no suficiente para !arantir a verdade da concluso.

9 5 5 5 5 4 4 4 4

< 5 5 4 4 5 5 4 4

3 5 4 5 4 5 4 5 4

9=< 5 5 4 4 4 4 4 4

9=<+3 5 4 5 5 5 5 5 5