4to Caso

Tabla del bicondicional

Cuando tiene el mismo valor de verdad (v) Proposicional en el condicional es verdadero.

3er Caso

El único caso en que la condicional es fala es cuando el consecuente es falso, y el antecedente es verdadero.

2do Caso

Solo hay un caso cuando la disyunción es falsa, cuando las dos proposiciones son falsas.

Reglas Sintacticas o de derivación

1 er Caso

Analisis del comportamiento de las tablas de verdad.Solo hay un caso cuando la proposicion es verdadera en la tabla de verdad.

ejercicio #2

Ejercicio 2
Derivación


1. A º B
2. ~A
3. B Ú C
4. C É D /\ D
1. F É (G & H)
2. H É I
3. ~I /\ ~F 1. J Ú (K É L)
2. K Ú J
3. ~J /\ L Ú ~L
1. M É (N Ú O)
2. ~N & M /\ O
1. (R Ú S) É T
2. ~S É U
3. ~U /\ T
1. A É B
2. ~B Ú C
3. ~C /\ ~A
1. D É E
2. ~E Ú F
3. G Ú ~F
4. ~G /\ ~D 1. H º I
2. ~H
3. I Ú J
4. ~J Ú K /\ K
1. (~L É M) É ~O
2. L /\ ~O

ejercicio #1

Ejercicio

Probar la validez de los silogismos


La refutación por el método de analogía o contraejemplo tiene cuatro pasos:

1. Escoja un silogismo con premisas verdaderas y conclusión verdadera
2. Suponga que el silogismo es válido
3. Intente descubrir un silogismo análogo (uno que tenga idéntico modo y figura), con premisas verdaderas y conclusión falsa.
4. Si no se puede encontrar ninguno, considere el silogismo como válido. Si puede encontrar alguno, declárelo inválido.

Estos silogismos categóricos que tienen premisas verdaderas y conclusión verdadera:

Ningún conejo es gato.
Ninguna tortuga es conejo.
Por tanto, ninguna tortuga es gato.

Todos los perros son caninos
Ningún perro es felino.
Por tanto, ningún felino es canino.

Algunos estudiantes no son perezosos.
Algunos maestros no son perezosos.
Algunos maestros no son estudiantes.

Algunos profesores no están casados.
Todos los esposos están casados.
Luego, algunos esposos no son profesores.

Algunas carreras son maratones.
Algunas carreras no son de 10 km
Luego, algunas carreras de 10 km no son maratones.

Algunos carros son caros.
Algunos carros son veloces.
Luego, algunas cosas que son veloces son caras.

Algunos primates son animales pequeños.
Algunos mamíferos son primates.
Algunos mamíferos son animales pequeños.

Algunos estudiantes no son felices.
Ninguna persona codiciosa es feliz.
Luego, algunos codiciosos son estudiantes.

Ningún libro es consciente.
Ninguna cuchara es libro.
Luego, ninguna cuchara es consciente.

Algunos buses no son diesel.
Algunos buses son operados por la municipalidad.
Luego, algunos vehículos operados por la municipalidad no son diesel.

Ninguna cosa letal es juguete.
Algunas armas son letales.
Luego, algunas armas son juguetes.

Todos los jazmines son aromáticos.
Ninguna cosa aromática carece de fragancia.
Luego, algunas cosas que carecen de fragancia no son jazmines.

AlBuM....

Las tablas de Verdad.

Son los análisis de los colectivos lógicos que nos va permitir conocer, saber la verdad y falcedad de un colectivo lógico.

Unidad VII (Calculo Proposicional)

Es una rama de la lógica simbologica que se encarga de sustiruir el lenguaje natural por signos, simbolos y letras para comprovar la validez de argumntos y proposiciones, consta de tres elementos.

Proposiciones Atómicas:


Son aquellas que carecen de de colectivas lógicas y generalmente estan compuestas del sujeto y predicado. Ej.

Aristóteles era folisofo

Hoy es jueves.

Proposiciones Moleculares:


Son aquellas que tienen mas de una colectiva lógica y agrupan mas de una idea. Ej.

Aristóteles era filósofo y Platón era su maestro.

"y" en la oración es la "conectiva Lógica"

Proposiciones Moleculares Monadicas:

Son aquellas que son negativas. Ej.

Aristóteles no era filosofo y Platón no era su maestro.

Propocisiones Moleculares Binarias:

Son aquellas que son Negativas y Afirmativas. Ej.

Aristóteles era filosofo y Platón no era su maestro.

Conectivas Lógicas:

Son preposiciones o nexos que relacionan ideas entre sí.

Signos de Agrupación:

Son símbolos que nos ayudan a distinguir una idea de otra.

Dificil logica :S

Si yo tengo docemillones y le sumo docemillones, por logica y matimática, cuanto tengo?....
( no leas el pie de página hasta haber respondido solo )