36707704 Formas proposicionales
Conceptos básicos previos.
Tipos de proposiciones
Proposiciones atómicas.- Aquellas proposiciones que no figuran ningún operador lógico. Ejemplo:
Yo voy al cine.
a: Yo voy al cine.Proposiciones moleculares.- Aquellas que están compuestas por varias proposiciones atómicas unidas por conectores lógicos. Ejemplo:
Operadores lógicos.
Son aquellos símbolos que se usan para unirproposiciones, las cuales van a obtener un valor de verdad. Estos operadores lógicos son muy necesarios para armar una forma proporcional. A continuación tenemos los más utilizados:
Negación: Cambia el valorlógico de una proposición.
a: Hoy es martes.
¬a: Hoy no es martes.
Se lo presenta con formas gramaticales como: “no”, “ni”, “no es verdad que”, no es cierto que”.
Conjunción: Relaciona proposicionespara formar una nueva.
a: hoy es martes
b: faltaré a clases
a ^ b
Hoy es martes y faltaré a clases.
Se la presenta con formas gramaticales como: “y”, “pero”, “mas”; y signos de puntuación como: coma, elpunto, el punto y coma.
Disyunción: Relaciona dos proposiciones para formar una nueva que será falsa solo cuando las dos proposiciones sea falso.
a: “voy al cine.”
b: “como en la casa de misabuelos.”
a v b
“Voy al cine ó como en la casa de mis abuelos”.
Se lo presenta con el término gramatical. “o”.
Condicional: es una enunciación hipotética que tiene un antecedente y un consecuente.
a: “hagocaso a mis padres.”
b: “voy al estadio.”
a → b
“Si hago caso a mis padres entonces voy al estadio.”
Se presenta en la gramática como: “si a, entonces b”, “a solo si b”, “a solo si b”, “b siempre quea”, “b debido que a”, “solo si b, a” y cualquier expresión que denote causa y efecto.
CONECTIVA
EXPRESION EN EL LENGUAJE NATURAL
EJEMPLO
SIMBOLO
Negación
No
No está lloviendo
¬
Conjunción
Y
Estálloviendo y está nublado.
^
Disyunción
O
Está lloviendo o esta soleado.
v
Condicional
Si… entonces
Si esta soleado, entonces es de día.
=>
Bicondicional
Si y solo si
Esta soleado si y solo si hay nubes...
Regístrate para leer el documento completo.