Question

[(~p^~q) ->p] v (p^q) como queda en calculo proposicional en tabla y que es si es tautologia contradicción o contingencia

Answer 1

pq [(~p^~q)->p]^(p^q) y es contingencia
vv. f f f. v v v vvv
vf. f f v v v f vff
fv. v f f v f f ffv
fv. v v v f f f fff