Entradas

Mostrando entradas de mayo, 2018

Formalización

1) Yo estoy de pie. Yo estoy de pie=p                          p 2) Yo estoy de pie y tú no. Yo estoy de pie=p Tu estas de pie=q                                            p∧¬q   3) Estoy de pie o sentado. Estoy de pie=p Estoy sentado=q                          p∨q 4) Descansaré en caso de que me siente. Me siento=p Descanso=q                              p→q 5) Ha...