miércoles, 9 de abril de 2008

Ejemplos

Propoper las siguientes proposiciones en forma simbólica y construir la tabla de valores correspondientes.

a. No es justa, pero mantiene el orden

b. Los alumnos conocen a los simuladores y los desprecian

c. Si los alumnos conocen a los simuladores, entoces los desprecian


Soluciones:


a.

Forma simbólica: ~p^q

Tabla:



b.

Forma simbólica: p^q

Tabla:




c.

Forma simbólica: p-->q

Tabla:



69 comentarios:

Oseas dijo...

Que màs Profesor. Como està todo? Queria que supiera que los ejercicios propuestos estan bien interesantes y que ya los resolvì, ahora el problema es enviarlo a su correo. De todas maneras yo lo tengo todo apuntado en mi cuaderno. Bueno Profesor sin màs que decir... Que estè bien.
Oseas

SUPER EVERT dijo...

hola profe soy EBERT LUIS RODRIGUEZ DE LA SECCION I-007-D..AULA 35... Y SOLO ESTOY ACA PROBANDO EL SISTEMA DE MENSAJES Y TODO DEL BLOG ,...JAJAJA CUIDECE Y PONGAME UN 20 EN EL EXAMEN!!DIGALO KE FUE UN 2O!!!JAJAJAJ NO ECHANDO BROMA TEACHER!CHAUU

aiker quijada dijo...

Actividad 3
Simplificar la f.p: {[(~q ^ p) v q] v [q v (p ^ ~q)]} ^ ~p y determinar si es tautología, contradicción o contingencia.

{[F v p] v [ p v F]} ^ ~p

{ p v p } ^ ~p

p^~p

F es contradicción

aiker quijada p007

aiker quijada dijo...

Actividad 4
Demostrar: [(~p v q) ^ ~(p ^ q)] --> r ≡ p v r

[(~p v q) ^(~p v ~q)] --> r ≡ p v r

~p^ (p v ~q) --> r ≡ p v r

(~p^ V) --> r ≡ p v r

~p --> r ≡ p v r

~~p v r ≡ p v r

p v r ≡ p v r

DEIMER dijo...

Miércoles 4 de junio de 2008
Actividad 4
Demostrar: [(~p v q) ^ ~(p ^ q)] --> r ≡ p v r

[(~p v q) ^ ~(p ^ q)] --> r ≡ p v r Ley Condicional
~ [(~p v q) ^ ~(p ^ q)] v r ≡ p v r Ley de Morgan
~ [(~p v q) ^ (~p v ~ q)] v r ≡ p v r Ley de Morgan
[~ (~p v q) v ~ (~p v ~ q)] v r ≡ p v r Ley de Morgan y Involución
[ (p ^~q) v (p ^ q)] v r ≡ p v r Ley Distributiva
[ p ^ (~q v q)] v r ≡ p v r Ley de Complementación
[ p ^ V] v r ≡ p v r Ley de Identidad
p v r ≡ p v r

Evert dijo...

Miércoles 4 de junio de 2008
Actividad 4
Demostrar: [(~p v q) ^ ~(p ^ q)] --> r ≡ p v r

[(~p v q) ^ ~(p ^ q)] --> r ≡ p v r Ley Condicional
~ [(~p v q) ^ ~(p ^ q)] v r ≡ p v r Ley de Morgan
~ [(~p v q) ^ (~p v ~ q)] v r ≡ p v r Ley de Morgan
[~ (~p v q) v ~ (~p v ~ q)] v r ≡ p v r Ley de Morgan y Involución
[ (p ^~q) v (p ^ q)] v r ≡ p v r Ley Distributiva
[ p ^ (~q v q)] v r ≡ p v r Ley de Complementación
[ p ^ V] v r ≡ p v r Ley de Identidad
p v r ≡ p v r

Unknown dijo...

hola prof. es greiris alvarado espero que se encuentre muy bien esta es mi activida...

Demostrar: [(~p v q) ^ ~(p ^ q)] --> r ≡ p v r

[(~p v q) ^ ~(p ^ q)] --> r ≡ p v r Ley Condicional
~ [(~p v q) ^ ~(p ^ q)] v r ≡ p v r Ley de Morgan
~ [(~p v q) ^ (~p v ~ q)] v r ≡ p v r Ley de Morgan
[~ (~p v q) v ~ (~p v ~ q)] v r ≡ p v r Ley de Morgan y Involución
[ (p ^~q) v (p ^ q)] v r ≡ p v r Ley Distributiva
[ p ^ (~q v q)] v r ≡ p v r Ley de Complementación
[ p ^ V] v r ≡ p v r Ley de Identidad
p v r ≡ p v r

Anónimo dijo...

luisabel
007

Actividad 4
Demostrar: [(~p v q) ^ ~(p ^ q)] --> r ≡ p v r

[(~p v q) ^ ~(p ^ q)] --> r ≡ p v r Ley Condicional
~ [(~p v q) ^ ~(p ^ q)] v r ≡ p v r Ley de Morgan
~ [(~p v q) ^ (~p v ~ q)] v r ≡ p v r Ley de Morgan
[~ (~p v q) v ~ (~p v ~ q)] v r ≡ p v r Ley de Morgan y Involución
[ (p ^~q) v (p ^ q)] v r ≡ p v r Ley Distributiva
[ p ^ (~q v q)] v r ≡ p v r Ley de Complementación
[ p ^ V] v r ≡ p v r Ley de Identidad
p v r ≡ p v r

ANAYKA WAGNER dijo...

ANAYKA WAGNER (actividad 3)

Simplificar la f.p: {[(~q ^ p) v q] v [q v (p ^ ~q)]} ^ ~p y determinar si es tautología, contradicción o contingencia.

{[F v p] v [ p v F]} ^ ~p
{ p v p } ^ ~p
p^~p

F es contradicción

ANAYKA WAGNER dijo...

Actividad 4
Demostrar: [(~p v q) ^ ~(p ^ q)] --> r ≡ p v r

[(~p v q) ^ ~(p ^ q)] --> r ≡ p v r Ley Condicional
~ [(~p v q) ^ ~(p ^ q)] v r ≡ p v r Ley de Morgan
~ [(~p v q) ^ (~p v ~ q)] v r ≡ p v r Ley de Morgan
[~ (~p v q) v ~ (~p v ~ q)] v r ≡ p v r Ley de Morgan y Involución
[ (p ^~q) v (p ^ q)] v r ≡ p v r Ley Distributiva
[ p ^ (~q v q)] v r ≡ p v r Ley de Complementación
[ p ^ V] v r ≡ p v r Ley de Identidad
p v r ≡ p v r

Anónimo dijo...

Simplificar la f.p: {[(~q ^ p) v q] v [q v (p ^ ~q)]} ^ ~p y determinar si es tautología, contradicción o contingencia.

{[F v p] v [ p v F]} ^ ~p
{ p v p } ^ ~p
p^~p

F es contradicción

Unknown dijo...

demostrar utilizando las propiedades ~(p^q) ↔ (~pvq)

lifeislive dijo...

NECESITO POR FAVOR QUE ME AYUDE ALGUIEN. ME DICE: FORMALICE LOS SIG.RAZONAMIENTOS Y DEMUESTRE SU VALIDEZ POR EL METODO DE DEDUCCION
(P ENTONCES R )ENTONCES (P ENTONCES S )
(Q CONJUNCION S ) ENTONCES R
(P ENTONCES S ) ENTONCES T
P ENTONCES (Q CONJUNCION S) / T CONJUNCION Q

Unknown dijo...

[(q v ~p) ˄ ~r]→p

Unknown dijo...

Por favor ayúdenme
[~(~p^~q)^~p]v(~p^~q)

DEBER dijo...

p^~q AYUDEN CON LA TABLA DE VERDAD

Unknown dijo...

{[p^(q->r)]^[p->(q^nr)]}v{(p^q)v[(p^r)^(q v nr)]} ayuda con esta proposición tengo que simplificar R.p^q

Unknown dijo...

¬pv(pvq)¬pvp= ayudenme

1MR21 dijo...

● p→[~q→(p v q)]
● (~q <-> r) v ~r
● ~ [(~p→q) <-> ~(p v~q)]
● a v [(b → ~b) → (a → ~a)
Ayuda porfavor!

Unknown dijo...

[(p^q)→~r]v[p→(q→~r) simplificar

Unknown dijo...

Negar los siguientes esquemas proposicionales y obtener expresiones equivalentes
1). (p^q)→p
2). pvq
3). ~qvr
4). p ^ (q→r)

AYDENME POFAVOR :'(

the666angel dijo...

buenas me dejaron este ejercicio y como que no lo entendi...XD
Si se define p*q, por la tabla:
pq p*q a)¬p b)¬q c)p o(v) ¬q d)V e)p y q
vv v
vf v
fv f
ff f

simplificar: (p*q)*q

Unknown dijo...

(P→q)→[(p^ _q)v(p v q)]

Anónimo dijo...

Necesito simplificar esta proposición (p->(q->r))->((p^q)->r)

Unknown dijo...

simplificar
• (p → q) ∧ (p → ¬q)
• (¬p ∨ ¬q) → ¬(p ∧ q)
• ((¬p → q) →(¬q →p)) ∧(p ∨ q)
• (¬p ∨ q) →(q ∧ (p↔ Q))
• ((¬r → ¬p ∧ ¬q) ∨ s) ↔(p ∨ q → r ∨ s)
• (p ∧ (q →r)) →((¬p ∨ q) →(p ∧ r))

kdabra1992 dijo...

[¬(p→q) →¬(pvq)]∧ (pvq)

Unknown dijo...

[(~qv~r)entnces~p]^q
resolucion xf

Unknown dijo...

[(~qv~r)entnces~p]^q
resolucion xf

Logic Programador dijo...

[~(~p ⊻ q) ᴧ ~ (p v ~q)] v (p v q) ≡ p v q

Unknown dijo...

~pv (p=>q)<=>(r^s^t)
Ayuden xfa

Dulce Márquez Valencia dijo...

Quisiera que me ayudara... Cpn dos
Que son asi
~[(~p^q) vq) v~ [(sv~q)^s)

Dulce Márquez Valencia dijo...

(qvr)v (p^q) v (~r^~q^p)

Unknown dijo...

Indicar si es tautologicas o contradictorias:
~(p v q)⋀q

Alexandra Elizabeth P dijo...

Comose hace este ejercio
~(p^q)v (~pvq)=p

Macris dijo...

[(p⋀¬q)⋀(p→q)]→(¬p)
Por favor si alguien me puede colaborar con este ejercicio
Comprobar mediante las leyes de inferencia.

NESTOR dijo...

alquien que me atude con esta tarea por favor


simplificar [~(p→q) ∧(~q V p ) ] Vp

Unknown dijo...

Me ayudan con esto
(~p v q)→(p→q)

Javierposso dijo...

Me ayudan con esta ~(p v q)^p

Gabriel Toledo Lorenzo dijo...

me ayudan con esta
simplficar ~(~p v ~q)

Unknown dijo...

Ayuda por favor.....[~(p=>q)=>~(q=>p)]^(pvq)

Unknown dijo...

Como simplificar con las leyes lógicas.....??

Unknown dijo...

Necesito desarrollar este proposiciones compuestas:
1. (p v q) v p
2.( p v q)—›p
Porfa ayudame

Unknown dijo...

Buenos días me pueden ayudar a desarrollar unos ejemplos de proposiciones gracias

A- [(p^q)->q]v p
B- (,p->q)v p
C- p->(p^q)

Unknown dijo...

Buen día
Podrían hacerme el favor de ayudarme con estas proposiciones gracias

A- [(p^q)->q] v p
B- (p->q)v p
C- p-> (p^q)

Mariana dijo...

ayuda porfa... ~(~p^~q)

Unknown dijo...

[(PvQ)-> R] V (~S->~P)

Unknown dijo...

Respondan plis

Unknown dijo...

Demuestre que:
[{[(p^q)vr]^(~q)}vq]=(rvq)
Ayuda pls

Unknown dijo...

(pvq) ^~(p^q)

doviedo dijo...

[( p ∧ q ) v (p ∧ ∼ q)] v (∼p ∧ ∼q)

Unknown dijo...

Eso esta mal

Unknown dijo...

Eso esta mal.

MAR dijo...

[(~p v q) v [( p -> q) ^ t ]] ^ q

Unknown dijo...

buenas tardes necesito demostar por leyes de inferencia la siguiente expresion {(¬r)∧(q∨r)∧(q→s)∧[p∧(r→s)]}→(q∧s)

Unknown dijo...

[(p^~q)v(q^r)]^[(qvr)^~r]
Una ayuda porfa

Unknown dijo...

[(p^~q)v(q^r)]^[(qvr)^~r]
Una ayuda porfa

Unknown dijo...

[(p^~q)v(q^r)]^[(qvr)^~r]buenas noches una ayuda por fa
Tengo que simplificar y tiene que salir contradicción! !!

Unknown dijo...

[(p^~q)v(q^r)]^[(qvr)^~r]buenas noches una ayuda por fa
Tengo que simplificar y tiene que salir contradicción! !!

Lourdes dijo...

Un favor quiero que me ayuden ~(p->~q)vr

Unknown dijo...

N={(pv~q)v[(~p^q)vq]^~q ayuda por favor

Unknown dijo...

Deseo me ayuden con este (pvq)^ -(p^q)

Unknown dijo...

Ayuda con esto porfavor [~(p^q)v(pv~r)]=[r^(rv~t]

Unknown dijo...

(~(p^q)^(~(p^q)vr))^~q

Unknown dijo...

~[(~p -> q)<-> ~p]->q->(p->~q)]

Unknown dijo...

m=[(~pvq)->(~qvp)^~(p^q)]
simplifica

Unknown dijo...

ayuda por favor, es ~((p V q) ⟷ (~p V q) ^ ~q) desarrollar con las leyes del algebra para simplificar

Unknown dijo...

p v [(p->q)^~q]
me ayudan porfavor

Unknown dijo...

1) p ⇒ [∼q ⇒ (p v q)]
2) (∼q ⇔ r) v ∼r
3) ∼ [(∼p ⇒ q) ⇔ ∼ (p v ∼q)]
4) p ∧ [(q ∧ ∼p) ⇒ (p v ∼q)]
5) a v [(b ⇒ ∼b) ∧ (a ⇒ ∼a)]
alguien q sepa ??

Patricia Lidia López García dijo...

(p=>q)=>[(q=>r)=>(p=>r)]