Baixe o app para aproveitar ainda mais
Prévia do material em texto
Vai correr na praia ( N ) Não é uma proposição Esta sala é muito pequena ( F ) Eu falo Carioca ( F ) Evidência – O que é certo. ARGUMENTO: É um conjunto de enunciados em que os primeiros são os PREMISSAS e o ultimo é a CONCLUSÃO. Ex: - Todos os homens são mortais ( V ) - Sócrates é homem ( V ) - Logo, Sócrates é mortal. ( V ) É um argumento válido - Todos os metais se dilatam com o calor ( F ) - Todos os meses do ano há pelo menos quatro domingos ( V ) - Logo, a UNESA é uma boa Universidade. ( V ) Não é um argumento válido Para ser um argumento válido todas as premissas tem que ser verdadeiro e todos os argumentos tem que fazer sentido. ___________p____________ _____q_____ - Se eu ganhar sozinho na Sena, fico milionário ________p__________ - Ganhei sozinho na Sena ___q____ - Logo, fiquei milionário. - Se p, q - p - Logo, q. TABELA VERDADE Denominamos tabela verdade de uma proposição, uma estrutura que descreve seus possíveis VALORES LÓGICOS a partir do valor lógico de seus componentes, ou seja, é um diagrama do qual constam todos os valores lógicos possíveis de uma proposição ou conjunto de proposições. Ex: Notação: P VVALOR LÓGICO( pPROPOSIÇÃO ) = { V L p q r V V V V V F V F V V F F F V V F V F F F V F F F n=3 => 2³ = 2x2x2 = 8 O nº de combinações possíveis 8 possibilidades PROPRIEDADE DA TABELA VERDADE. Obs: O número de linha (possibilidades) é igual a 2n OPERAÇÕES LÓGICAS NEGAÇÃO(unária) – Dada uma proposição p a negação “não p” é notada por ~p ou ¬p TABELAS VERDADE: P ~p V F F V Regra = V( ~p ) = ~(p) V( ~) = ~V( p ) Em linguagem de computador = NOT Ex: x: A terra é redonda V(x) = V ~x: A terra não é redonda V(~x) = F
Compartilhar