Lógica_OperacoesLogicasSobrePreposicoes.pptx

Embed Size (px)

Citation preview

Lgica

Operaes Lgicas sobre proposiesProposio: uma sentena (declarada por meio de palavras ou smbolos) que ser considerada, por seu contedo, verdadeira ou falsa.Operaes Lgicas sobre proposiesOperaes LgicasNegao ( ` ou ~)Conjuno ( . )Disjuno inclusiva ou soma lgica ( + )Disjuno exclusiva ()Condicional ()Bicondicional ()Negao ( ` ou ~)Seja p uma proposio. Denotaremos a proposio composta pelo modificador NO por p'.L-se no p. ex: Ento V(p') = 0 quando V(p) = 1O valor lgico da negao de uma proposio p apresentado na tabela-verdade:

Que nos d: 1 = 0 , 0 = 1

pp0110Negao ( `)p: 1 + 1 = 2 (1)p: 1 + 1 = 3 (0)V(p) = 0

p: Joo estudante (0)p: Joo no estudante (1)V(p) = 1

Conjuno ( . )A conjuno de duas preposies p e q verdadeira quando V(p) = 1 e V(q) = 1L-se p e q.Tabelaverdade:

pqp.q000010100111Conjuno ( . )p:5=5(1)q:54 (1)V(p.q)=1

p:5=5(1)q:55(0)q: 1100(0)V(p q) = 1

p: 1 2(1)q: 10