Apostle de Légica pera a comeuincto Célculo Proposicional 1, Proposi¢ao: } todo 0 conjuuio de pala nis ox simboles que eprimem um pensamento de sentido Completo, Sentenga ou propesigio © distingnem do nome. o qual designa um objeto Exemplos de nomes Pedro ‘Ocao do menino. 13 Exemples de proposigges’ A lua é um satclite tere. 2. Ofilho do Presidente do Brasil. em 1970. era médico 3 3u3=303 4. Onde vooé mora? 5 Que belo jaim 60 desta praca! 6. Escreva um verso. Pedlro est ¢ ball, 8- Dunas retas de uum plano sao parafelas ou incidents 9. Se Padroestuda, enti tem éxito na escola, 1H. Vottao cinema nr ¢ somente se conseguir dinheiro, Na logica,restringimo-nos:1 una classe de propasigdes. que sto as declarativas e ques aceitam dois valores: Verade €V) ou Ffalso GF. um escluindo o outro, Assim, escluimos de nossa consceragoes. ~ Proposigieseclametivas comoa de i? 5 = Proposigoesanterrogativas. como ado a = ProposiqOesimiperatinas, como a do 16. Sao declarativasas demimeros {até 3 eas de 7 até 10, A Ibgica matemsitica adota como reeras fndamentis os dois seeuintes prineipios ou aviomas (CD) PRINCIPIO DANAO CONTRADICAO: Una propesigiio mio pode ser Verdadcira ¢ falta mestno tempo, CIT) PRINCIPIO DO TERCFIRO EXCLUIDO: Qualquer proposigao ¢ verdadeita ou ¢ alsa. reo poder sor rad mais do que isso. Por exempla. as proposigdes Le 3 sia + Vasco da Gamma descobrin'o Brasil + Dante screveures Lusindss Obs: Camidesescreve “Os Lusiadas" = Sum niimero intro. As proposigées so geralimente desianadas pelas letras latinas miniscubas p. q. tS. (ser nbas verdideiras. masas 3 propasigoes seguintes so Falsas ndices ou aceatos), Exercicio: 1) Quaissio os nomes e quaissio as propesigces? a) Oniimero 3 é maior que niimero 5. b) ° a °) Py O gato da meniner 2) Um bom livro de matemetica hy 3455805 i) Sechever hog. entdo aun fica moth, J) Osol brilha e quem as pkantas, k) orgee gaticho on é Catarinense, 1) Lim tndingnto ¢ ravingulo se e somente © temum Angulo reto m) Tringulo equiliter. 1) Seu triéngulo €retangnko, eno. dois de seus laces sto perpendliculares: 1. |. Valores Logicos das Proposigées: Dizsse quieo valor Kgico de wna propesigdo p< verdade quando pé verdadero ¢ falsidsle quanto p¢ Faso. Os valores logicos verdhde ¢ falscale de una proposiggo designee abrevinamente polis leitis Ve F ott pels simbolos I ¢ 0. respectivamienteApostle de Légica pera a comeuincto 4 Assim. oque os prineipios da nio-contnxdigdo ¢ do terceio exchido firmam & que: Td proposigao podeassunitr um, e somente um, des dois valores: Fou V (Oau I respectivamente. Exercicia: ies sbaiNo. isto &,atvibuia Vou F para eada mre deka 2) Dar os valores Kogices das propesi a) SS, bb) A lua é um satelite da terra €) Colombo descobrin'o Brasil 4) Pedro AlWares Cabral descobriu a Colbmnbia €) oniimero 11¢ prim, we x 2) Um nimero divisivel por2 ¢ par hy Peel sao raizesda equagio 1 1.2 - Proposicées simples e Proposiges compostas As proposigges pedem se clussificadks como simples on compostas. A proposigio simples & aquela que Mo contémn nenluma outta proposigao como parte integrante de si niesma. A proposigao composta ¢ formeda pela combina de QO thiangiilo ABC ¢ retingnio om o tr¥ingtbo ABC ¢ isdsocks Re Nao esta chonendo S. Se Jorge ¢ engenbeio, entao sabe matennitica TO riingnlo ABC éequilstero see somentese éequidnenly_ (subenende ..otrdngtlo ABC.) Podiemos consilerar como conectivas usuas da Logica as pala as grifads. isto & F, Ou Mio. Se. Entin, See somente sea. (ss) Exercicie: 3) Dente as proposigdes do exercicin 1, quais $90 a) Simples, by Compostas: 1.4- Tabela-Verdade Consirugdo das tabelas- verdadest -gurtdo o principio do tereeéro exclude, toda proposican simples p é verdaeleim onn¢ Falsa. isto &, tem o valor gig V (serdade) otto valor bgico F (falsidade)Apostle de Légica pera a comeuincto 5 Ovalor logico de uma expressip compesta depende unicamente dos valores Sogicos das eNpressdes simples que compoen mesma. Admitindo isso. recome-« a tim dispositno denomunedlo tahela— verdade par aplicar este conaeito na peitica Na tabela = verdade figuram todos os possiveis valores logicos da propesicio comesponkientes a todas as pessiveis ainbingdes de valores kgices ds proposkcessimiples componentes. Assim. por exemplo. una proposicao compesta cujas proposcdes simples components s20 pe q pode teras passives annibuigies p [a vv v_[F F_[V F_ fF Neste cas0. as combirtagdes entre os ekmentos sto: VV. VF. FVe FF. As tabekais = werdade so constnidas como arranios dos elementos componentes. ¢ como um elemente pode receher somente os valores V ou F. o tamanho de ume tabeka é chido pela quantidade de elementos combiralos No ca de uma propesizdo compada com 3 ekementor. terimos 8 combinagdes possiveis! VV. VE. VEV. VEE. FVV. EVE. FFV. FFP. Observagdo 1: 2 orden das letras pode ser diferente © a combinagio entre as letras também pode ser dirente da apresentada acini, Devesse somente tomar o cuidado de nito repetir duas combinagdes (2 linhas ci VVF. poresemph), Observagao 2: Para constewinmos as tabelas ~ verdade podemes usar as seuuintes Tears. O niimero de tinkas sempre depende do niinero de elementos combirados, ¢ como unta propesicio pode assumir os valores V ot Fo alimen de Linas de uma tabela =verdade é dado por 2° elemento : 2!linhas = 2 linhas 2elementos: 2 lines = 4 links 3 elementos: 2 linkers = 8 linhes elementos: linkers ~ 16 links Para consifuit a tabela inicie-se sempre atfibuindo V. FLV. F... para o elemento mais 4 diteita da tabela, V.V. FF. para o seeundo elemento da direta para a esquerdi. VV. V. VF. F. FF... para 0 terceito elemento & pana da esquerekae assim. suecssivamente Exercicio:consinia uma tabela—verdade para 4 ekmentos: p.q. £8 1.5. Notagao © valor logico para uma propesigio simples p indicase por Vip). Assim. exprime-se que p é verdadeira escrevendo, Von Anilogamentc, pode-seeyprimir que. propesigae ptem o valorfalso utilizantontt Vip) =F Consicerand. poresemplo. as is simples Leverde sono tem 6 Hales i numero impar 5: un triangnlo tem 4 kados Temos: ViprF vary vn=F vig =F