PROPOSICIONES

En el idioma científico, una proposición se refiere a un enunciado que puede ser verdadero o falso, generalmente una oración enunciativa, base de lo que constituye el lenguaje formal de la lógica simbólica.

En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio.

LOGICA DE PROPOSICIONES

·      Para desarrollar una teoría necesitamos hacer afirmaciones en forma de oraciones.

·       Los enunciados o proposiciones son oraciones declarativas que pueden ser verdaderas o falsas pero no ambas.

·    Las proposiciones sencillas son conocidas como proposiciones primitivas porque no se pueden descomponer.

·         La verdad o falsedad de una proposición compuesta solo depende de los valores de verdad de sus componentes.

CONECTIVOS:

·         Conjunción (Y)

·         Disyunción (O)

·         Implicación (SI...ENTONCES)

·         Bicondicional (SI Y SOLO SI)

·         Negación (NO)

TABLAS DE VERDAD

Proposiciones		Negación		Disyunción	Conjunción	Implicación	Bicondicional
p	q	¬p	¬q	p v q	p ^ q	p à q	p ßà q
0	0	1	1	0	0	1	1
0	1	1	0	1	0	1	0
1	0	0	1	1	0	0	0
1	1	0	0	1	1	1	1

LABORATORIO

A.   Fernanda cumple sus obligaciones.

B.   Fernanda aprueba el examen.

C.   Fernanda se va de vacaciones.

D.  Fernanda trabaja.

E.   Fernanda no come.

Trasladar a términos proposicionales:

1.   A ßà C

2.   D ^ E

3.   ¬ B à ¬ C ^ D

4.   B ^ D à A

5.   (¬ D ^ ¬ E) à ¬ B

1.   Fernanda cumple sus obligaciones si y solo si se va de vacaciones.

2.   Fernanda trabaja y no come.

3.   Si Fernanda no aprueba el examen entonces no se va de vacaciones y trabaja.

4.   Fernanda aprueba el examen y trabaja entonces cumple sus obligaciones.

5.   Si Fernanda no trabaja y come entonces no aprueba el examen.