elabore dos proposiciones con cada una de los operadores fundamentales y q verifica si son válidos o no
Respuestas a la pregunta
Respuesta:
En lógica existen ciertos conectivos lógicos que permiten conectar dos proposiciones.
Estos conectivos lógicos son negación, conjunción, disyunción, condicional material, bicondicional.
Negación:
No está lloviendo
{\displaystyle \neg}P¬P
Conjunción:
Está lloviendo y hace frío.
P{\displaystyle \land} QP∧Q
Disyunción:
Está lloviendo o hace frío.
P{\displaystyle \lor \,}QP∨Q
Condicional material:
Está lloviendo, entonces hace frío.
P{\displaystyle \to }QP→Q
Bicondicional:
Está lloviendo si y sólo si hace frío.
P{\displaystyle \leftrightarrow }QP↔Q
Tablas de verdad
Negación:
\begin{gathered}P|{\displaystyle \neg}P\\ 0|1\\ 1|0\end{gathered}
P∣¬P
0∣1
1∣0
Conjunción:
\begin{gathered}PQ| P{\displaystyle \land} Q\\ 0 0|0 \\ 0 1| 0\\ 1 0| 0\\ 1 1| 1\end{gathered}
PQ∣P∧Q
00∣0
01∣0
10∣0
11∣1
Disyunción:
\begin{gathered}PQ| P{\displaystyle \lor \,} Q\\ 0 0|0 \\ 0 1| 1\\ 1 0| 1\\ 1 1| 1 \end{gathered}
PQ∣P∨Q
00∣0
01∣1
10∣1
11∣1
Condicional material:
\begin{gathered}PQ| P{\displaystyle \to }Q\\ 0 0|1 \\ 0 1| 1\\ 1 0|0\\ 1 1| 1 \end{gathered}
PQ∣P→Q
00∣1
01∣1
10∣0
11∣1
Bicondicional:
\begin{gathered}PQ| P{\displaystyle \leftrightarrow }Q\\ 0 0|1 \\ 0 1| 0\\ 1 0|0\\ 1 1| 1 \end{gathered}
PQ∣P↔Q
00∣1
01∣0
10∣0
11∣1
Explicación:
me esforse escribirlo ojala te sirva