TALLER DE CUANTIFICADORES Niegue los siguientes enunciados haciendo uso de las propiedades de la lógica proposicional. a. (
),(
)(
)-
1. (
),(
)(
2. (
),(
)(
3. (
)(
4.
,(
5.
(
)] ) ( ) (
)( )( )(
)(
)(
). (
7. (
)(
)(
)(
1. ,( )( ( )( 2. 3. ( ) ( ( 4. ( ) ( ( 5. ( ) (
… Propiedad del cuantificador ( ) en 1.
)]
)(
)( )(
… Propiedad del cuantificador ( ) en 2.
) )(
)]
… negación en 3.
(
)(
)(
)/ Λ (
)(
)(
) … Negación de los cuantificadores en 5.
)
… Propiedad del cuantificador ( ) en 7.
) ( )] )( ) )( ) ( )( )
… Negación … Ley D´Mórgan en 1. … Negación de los cuantificadores en 2. ) … Ley D´Mórgan en 3. … Doble negación en 4.
)Λ
6. (
b. (
)(
) (
)(
… Definición de condicional
)Λ(
)(
)(
)Λ(
)(
)
)Λ( ) ( )) ( ) ( )) ) ( )(
)
… Ley D´Mórgan en 4.
* + el dominio de referencia. Determine el valor de verdad de cada uno de Sea los enunciados que se presentan a continuación, en el caso de ser falsos muestre un contraejemplo. a. (
)(
)(
)
1. (
)
(
)
2.
5.
3.
4.
6. (
)
7.
11.
8.
12.
9.
13.
10.
14. 2
6 15.