Hola, buenos días. ¿Me dan una mano para pensar el siguiente ejercicio?
Consigna: Determinar si las siguientes fórmulas son leyes lógicas.
a. \[ (p\wedge q) \rightarrow{r} \]
b. \[ p\wedge (p\Leftrightarrow{q}) \]
c. \[ [(p\longrightarrow{q})\wedge(q\longrightarrow{r)]\rightarrow{(p\rightarrow{r}}}) \]
d. \[ (p\rightarrow{r}) \Leftrightarrow{(r\longrightarrow{p})} \]
Por lo que yo veo, la tercera corresponde a un silogismo hipotético. Pero el resto de las formulas no serían leyes lógicas, ¿verdad?