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.
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