LOGICA PROPOSICIONAL - GENIUS

¿Cuál es la oración cuya proposición compuesta es "∼p∨q"? 

Simboliza la siguiente proposición:

Llueve y, o bien nieva, o sopla el viento.

Verifica la siguiente proposición mediante una tabla de verdad:

[∼(p↔q)]↔[p↔(∼q)]

¿Cuál es el término del conector lógico de conjunción?

¿Cuál es el término del conector lógico bicondicional?

¿Con qué símbolo se denota al conector lógico negación?

Verifica la siguiente proposición mediante una tabla de verdad:

(∼p∨q)↔(p→q)

Determinar el valor de verdad del siguiente polinomio:

(p∧q)→p

Siendo p y q dos proposiciones cualesquiera, la proposición:

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

El valor de verdad de las siguientes proposiciones es: 

• ( 3 + 2 = 5 ) ∨ ( 7 - 2 = 11 )

• ( 4 - 1 = 3 ) → ( 2 - 10 = -8 )

• ( 3 + 7 = 10 ) ∧ ( 12 > 5 )

• ( 1² = 2 ) ↔ ( 1 + 1/2 = 3/2 )

La proposición atómica equivalente a: 

[∼(p→q)→∼(q→p)]∧(p∨q)

es: