Proposision

Solo disponible en BuenasTareas
  • Páginas : 3 (588 palabras )
  • Descarga(s) : 0
  • Publicado : 28 de noviembre de 2011
Leer documento completo
Vista previa del texto
PROPOSISION: son pensamientos de los que se afirma o se niega algo de algo.
Pueden ser de dos tipos: simples y complejas.

Simples:
A las simples se les llama también elementales o atómicas. Sontodas aquellas que tienen un sujeto un verbo y un predicado.
Ejemplo:
2x2=4
No es cierto que el alma sea inmortal.

Compuestas: son todas aquellas que se caracterizan por emplear unaproposición o un conectivo lógico
Ejemplos:
1-el pizarrón es verde o blanco.
2-si aumenta la velocidad de un vehículo entonces disminuye el tiempo de recorrido.

Simbolización de la proposiciones:
simbolo| Se lee |
P | P |
-p | No p |
P v y | P o q |
P Ɔ q | Si p entonces q |
p≡ q | P es si y solo si |
p≠ q | P o q |

Tablas de verdad para cada conectivo.
EJEMPLO:
P | Q |
V | V |V | F |
F | V |
F | F |

Tabla de la negación.
P | Q | -Q –P |
V | V | V |
V | F | F |
F | V | F |
F | F | F |
Si p es v y q es v entonces la relación –p –q es v.
Si p es v y q esf entonces la relación -p-q es f.
Si p es f y q es v entonces la relación -p –q es f.
Si p es f y q es f entonces la relación –p-q es f.

Disyunción inclusiva.
P | Q | P v Q |
V | V | F |V | F | V |
F | V | V |
F | F | V |
Si p es v y q es v entonces la relación p v q es f.
Si p es v y q es f entonces la relación p v q es v.
Si p es f y q es v entonces la relación p v q es vSi p es f y q es f entonces la relación p v q es v.

Disyunción exclusiva.
P | Q | P ≠ Q |
V | V | F |
V | F | V |
F | V | V |
F | F | F |
Si p es v y q es v entonces la relación p ≠ q esf.
Si p es v y q es f entonces la relación p ≠ q es v.
Si p es f y q es v entonces la relación p ≠ q es v.
Si p es f y q es f entonces la relación p ≠ q es f.

Tabla condicional.
P | Q | P Ɔ Q|
V | V | V |
V | F | F |
F | V | V |
F | F | V |
Si p es v y es v entonces la relación p Ɔ q es v.
Si p es v y q es f entonces la relación p Ɔ q es f
Si p es f y q es v entonces la...
tracking img