Logica de Propocisiones

Proposición: oración con valor declarativo o informativo, de la cual se puede predicar su verdad o falsedad.
Clasificación de las proposiciones
Disyunción inclusiva: una, otra o ambas. Ej ...o...o; o ambas.
Disyunción excluyente: una excluye a la otra. Ej: o...o
Condicional o hipotética: una es condicional de la otra. Ej: si.. entonces

Proposiciones categóricas:
Universales: Todos
Particulares: algunos
Singulares: un individuo

Formas categóricas típicas:
Universal afirmativa à A Todo S es P
Universal negativa à E Ningún S es P
Particular afirmativa à I Algún S es P
Particular negativa à O Algún S no es P

Proposiciones analíticas:
de verdad lógicamente determinable
no aumenta el
conocimiento.
El predicado está contenido en el sujeto o es equivalente.

Proposiciones sintéticas:
Su valor de verdad depende de comprobaciones extralógicas o empíricas (reales).
Aumentan el conocimiento, pero su verdad debe ser comprobada.
El predicado no está contenido en el sujeto.

Lógica Proposicional:
Sus expresiones se dividen en:
Simples o atómicas: constituye la unidad mínima de la cual se puede decir que es V ó F. Se simbolizan con p,q,r,s,t,etc, y se denominan
variables proposicionales.

Compuestas o moleculares: están compuestas por dos o más proposiciones atómicas (su valor de verdad depende del de las proposiciones que la componen).
Los valores de verdad dados como posibilidades de combinación entre proposiciones atómicas corresponden a los valores que pueden tener una o varias proposiciones combinadas. Sólo la comprobación empírica confirmará su valor real o fáctico. Basta con que una sea falsa, para que la molecular sea falsa.

0 Response to "Logica de Propocisiones"

Publicar un comentario

Powered by Blogger