Escolar Documentos
Profissional Documentos
Cultura Documentos
CONCEITO DE PROPOSIO
PROPOSIO: Sentenas declarativas afirmativas da qual tenha sentido afirmar que seja verdadeira ou que seja falsa. Ou seja, Conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. Buenos Aires a capital do Brasil. A neve branca. Matemtica uma cincia.
CLCULO PROPOSICIONAL
Quando pensamos, efetuamos muitas vezes certas operaes a sobre de proposies, Estas clculo, um chamadas obedecem operaes regras lgicas.
CLCULO PROPOSICIONAL: Smbolos VARIVEIS PROPOSICIONAIS: letras latinas minsculas p, q, r, s,.... para indicar as proposies (frmulas atmicas). Exemplos: A lua quadrada: p A neve branca: q
Quando duas (ou mais) proposies vm conectadas entre si, formando uma s sentena. Exemplos: Tiago mdico e Filipe engenheiro. Ana trabalha ou Carlos descansa. Se chover amanh, ento no saio.
Conectivo
Smbolo ou
Chama-se negao de uma proposio p a proposio representada por no p, cujo valor lgico a verdade (V) quando p falsa e a falsidade (F) quando p verdadeira
CLCULO PROPOSICIONAL: Negao Proposio Simples A negao de todos os homens so cruzeirenses nem todos os homens so cruzeirenses e Nenhum homem atleticano Algum homem atleticano
CLCULO PROPOSICIONAL: Negao Proposio Composta: Conjuntiva ~(p e q) Nega-se o primeiro termo (~p); Nega-se o segundo termo (~q); Troca-se e por ou. Logo ~(p e q) = ~p ou ~q
ou
~(p q) = ~p ~q
Logo:
~p~q
CLCULO PROPOSICIONAL: Negao Proposio Composta: disjuntiva ~(p ou q) Nega-se o primeiro termo (~p); Nega-se o segundo termo (~q); Troca-se ou por e. Logo ~(p ou q) = ~p e ~q
ou
~(p q) = ~p ~q
Logo:
~p~q
CLCULO PROPOSICIONAL: Negao Proposio Composta: Condicional ~(p q) Mantm-se o primeiro termo (p); Acrescenta-se o conectivo: e (); Nega-se o segundo termo (~q); Logo ~(p q) = p e ~q
ou
~(p q) = p ~q
Logo:
p ~q
~ (p q) = p ~ q
Mantm-se o primeiro termo (p); Acrescenta-se o conectivo: e (); Nega-se o segundo termo (~q); p e ~q
Nega-se o o primeiro termo (~p); Acrescenta-se o conectivo: e (); Mantm-se segundo termo (q); ~p e q
Unindo a Proposio 1 com a Proposio 2 com o conectivo OU
Estrutura pq pq pq pq ~p
Verdade se ambos forem V um dos dois for V demais casos p e q forem iguais pF
Negao de pq pq pq pq
~p ~q ~p ~q p ~q p ~q q ~p
TABELA VERDADE
p
V F
~p
F V
A V V F F
B V F V F
AB V pq V V F p q
A V V F F
B V F V F
AB F V V F
p: Carlos medico ou professor q: Mrio alagoano ou gacho p: Carlos medico V Carlos professor (inclusivo) q: Mrio alagoano V Mrio gacho (exclusivo) - L-se ou Mrio alagoano ou Mrio gacho
Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente verdadeiro e o conseqente falso
Tabela verdade da "bi-implicao": a bi-implicao verdadeira se, e somente se seus componentes so ou ambos verdadeiros ou ambos falsos
TABELA VERDADE: Nmero de linhas Cada proposio simples tem dois valores V ou F, que se excluem. Para n proposies distintas, h tantas possibilidades quantos so os arranjos com repetio de 2 (V e F) elementos n a n. Segue-se que o nmero de linhas da tabela verdade 2n. Assim, para duas proposies so 22 = 4 linhas; para 3 proposies so 23 = 8; etc.