hoje eu aprendi a fazer a conversão de frases em estruturas lógicas: e ^, pode vim na forma de ( mas, ou tambem com , ), ex: eu amo, mas tenho medo. sendo que A: Eu amo e B: tenho medo, toda frase tem sua negaçao , entao a negaçao de ~A : eu nao amo e negaçao de ~B: não tenho medo.
Ex: Eu amo, mas tenho medo.
A ^ B- NUNCA COLOCAR PARENTESES NA CONJUÇAO PRINCIPAL
(A) ^(B)
Se entao, pode ser , se somente.
Equivalência de proposições
tem regras especificas
e ^ : nega a primeira proposição , troca o conectivo por ou, e nega a segunda. Obs: tem questoes que a resposta pode vim com as preposiçoes invertidas.
ou V: mesmo jeito, só que troca ou v por ^
ou …ou… nega com se somente se- gilete
Ou ama ou sente medo.
Ama se somente se sente medo.
Para negar o bingão- se então tem uma regra especifica
Ex: Se ama então sente medo. A ^( ~B)