Sunteți pe pagina 1din 3

Guía estudio.

Sentencia atómica: Es una sentencia simple. Las sentencias atómicas carecen de negación
y de ilativos o conectores gramaticales. Las sentencias atómicas pueden ser de gran
extensión.

Ej: Sebastián va al trabajo.


Las tomas de los liceos continuan en pie
Los animales pueden comunicarse al igual que los humanos.

Sentencia Molecular: Las sentencias moleculares se forman de dos maneras:


1) Negando sentencias atómicas
2) Uniendo sentencias atómicas.

Ej: Sebastián trabaja y se siente enojado con todos.


Los elefantes no son agresivos por naturaleza
Mi abuela viajará a Italia o a Francia.

Variables sentenciales: Las variables sentenciales son signos que denotan un espacio que
puede ser ocupado por una sentencia atómica.
Las letras usuales para designar una variable son : p,q,r,s,t

Ej:
(1)Sebastián va al trabajo = p

(2)Sebastián va al trabajo y almuerza con Chaves


p q

En ambos casos las variables (p, q) reemplazan u ocupan el lugar de las sentencias
atómicas.

Valor de verdad: Son los valores que adoptan las variables sentenciales. Para la lógica
bivalente los valores que pueden tener las variables son 2.

Sebastián va al trabajo.
p

V F

Esto es, las sentencias u oraciones pueden ser verdaderas o falsas.

Funciones veritativas: Se llama función de verdad a los diferentes conectores o símbolos


lógicos que unen sentencias bien formadas. En lógica los conectores cumplen una función
importante, ya que a partir de ellos podemos formar expresiones complejas y, determinar la
verdad de una sentencia.

A continuación revisaremos las principales funciones de verdad:


Conjunción:
Lenguaje natural : “y”; “además”
Lenguaje formal: ˄

1) Chaves estudia y Sebastián trabaja.


p ˄ q
2) Los días jueves y martes son los días favoritos de chaves.

Tabla de verdad de la conjunción:

p q p˄q
v v v
v f f
f v f
f f f

Al mirar la tabla, podemos ver que, una conjunción será V sólo cuando ambas
sentencias son V.
En una conjunción, basta que exista una variable F para que toda la afirmación sea
Falsa.

En el ejemplo (2) la conjunción será verdadera cuando p es V y cuando q es V.

(3) Sebastián va a la fiesta y Chaves lo acompaña y ambos pasarán un gran día.


p ˄ q ˄ r

En este caso, bastaría con que una variable fuera F para que toda la conjunción (p ˄q ˄
r) sea F.

Alternación:

Lenguaje natural: o ; o bien


Lenguaje formal: v

1) Sebastián va al trabajo o se junta con chaves.


p v q

2) Se necesita paramédico o enfermero.


p v q
Tabla de verdad para la alternación:

p q pvq
v v v
v f v
f v v
f f f
En la alternación basta con que una variable sea v para que la alternación completa lo
sea. El único caso de falsedad es cuando ambas variables son f.

(4) chaves irá al colegio o se quedará en casa.


p v q

Actividades:
1. Pasar del lenguaje natural al lenguaje formal las siguientes expresiones:

1) La suegra visita a su hijo y ordena la casa


2) Iremos al baile o al cine o al circo.
3) Mañana tendremos prueba o bien el profesor la cancelará.
4) Los días feriados y las vacaciones son buenos momentos para viajar.
5) Sebastián saldrá de compras con Renato y Debbie
6) Los niños y niñas irán a su casa o a la casa de Javiera.

2. Clasificar las siguientes sentencias:

1) Pedro no fue a su casa hoy por la tarde.


2) Los tiburones nadan en la profundidad del océano pacífico.
3) Los caimanes y lagartos son animales que habitan ríos
4) Las cucarachas son insectos nocturnos que desagradan a muchos.

3) Construir sentencias moleculares a partir de las siguientes sentencias atómicas


y pasar al lenguaje formal.

1) Los gatos son buenos amigos


2) Javiera compró una casa en la playa
3) Javiera compró un pasaje a México
4) Los perros son leales compañeros
5) Las aves hacen nidos en los árboles
6) Sebastián quiere a chaves
7) Los niños aman a los gatos
8) La escuela estará abierta el domingo
9) La iglesia recibe gente de todas partes del mundo
10) Los extranjeros extrañan su hogar.

S-ar putea să vă placă și