Símbolos lógicos
2
Símbolos lógicos (constantes): JUNTORES Función Juntor Si gno Negación Negador “¬”, “–”, “~” (no; no es cierto) Conjunción Conjuntor “^”, “.”, “&” (y; pero) Disyunción Disyuntor “v” (o; o lo uno o lo otro) Implicación Implicador o “ → ”, “”(si….entonces) o Condicional Condicionador Material Coimplicación o Coimplicador o “↔”, “≡” (si y sólo si) Bicondicional Bicondicionador Material Símbolos no lógicos Letras enunciativas/proposicionales: p, q ,r, s ,t,......., p1, q1, r1, s1, t1,........... Letras metalingüísticas: A,B,C,D,....... Símbolos auxiliares Paréntesis: (, ) Veamos cómo podemos representar la forma lógica de diferentes proposiciones. Florencia está comiendo p Florencia está comiendo o estudiando p v q Si estudian mucho para el parcial p⊃q entonces van a aprobar Si estudian mucho para el parcial entonces p ⊃( q . r )
-
Upload
nacho-gomez -
Category
Documents
-
view
215 -
download
2
description
sl
Transcript of Símbolos lógicos
Smbolos lgicos (constantes):JUNTORESFuncinJuntorSignoNegacinNegador, , ~ (no; no es cierto)ConjuncinConjuntor^, ., &(y; pero)DisyuncinDisyuntorv(o; o lo uno o lo otro)ImplicacinImplicador o , (si.entonces)o CondicionalCondicionadorMaterialCoimplicacin oCoimplicador o, (si y slo si)BicondicionalBicondicionadorMaterialSmbolos no lgicosLetras enunciativas/proposicionales:p, q ,r, s ,t,......., p1, q1, r1, s1, t1,...........Letras metalingsticas:A,B,C,D,.......Smbolos auxiliaresParntesis:(, )Veamos cmo podemos representar la forma lgica de diferentes proposiciones.Florencia est comiendo pFlorencia est comiendo o estudiando p v qSi estudian mucho para el parcial pqentonces van a aprobarSi estudian mucho para el parcial entonces p ( q . r )van a aprobar y promocionar la materia.No estudi y no aprob - p . -q
