Elaboren cinco proposiciones con cada uno de los operadores fundamentales y verifiquen entre todos si son validos o no?

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

<img src="https://tex.z-dn.net/?f=%7B%5Cdisplaystyle%20%5Cneg%7DP" />

Conjunción :

Está lloviendo y hace frío.

<img src="https://tex.z-dn.net/?f=P%7B%5Cdisplaystyle%20%5Cland%7D%20Q" />

Disyunción :

Está lloviendo o hace frío.

<img src="https://tex.z-dn.net/?f=P%7B%5Cdisplaystyle%20%5Clor%20%5C%2C%7DQ" />

Condicional material :

Está lloviendo, entonces hace frío.

<img src="https://tex.z-dn.net/?f=P%7B%5Cdisplaystyle%20%5Cto%20%7DQ" />

Bicondicional :

Está lloviendo si y sólo si hace frío.

<img src="https://tex.z-dn.net/?f=P%7B%5Cdisplaystyle%20%5Cleftrightarrow%20%7DQ" />

Tablas de verdad

Negación :

<img src="https://tex.z-dn.net/?f=P%7C%7B%5Cdisplaystyle%20%5Cneg%7DP%5C%5C%0A0%7C1%5C%5C%0A1%7C0" />

Conjunción :

<img src="https://tex.z-dn.net/?f=PQ%7C%20P%7B%5Cdisplaystyle%20%5Cland%7D%20Q%5C%5C%20%0A0%200%7C0%20%5C%5C%20%0A0%201%7C%200%5C%5C%0A1%200%7C%200%5C%5C%20%0A1%201%7C%20%201" />

Disyunción :

<img src="https://tex.z-dn.net/?f=PQ%7C%20P%7B%5Cdisplaystyle%20%5Clor%20%5C%2C%7D%20Q%5C%5C%200%200%7C0%20%5C%5C%200%201%7C%201%5C%5C%201%200%7C%201%5C%5C%201%201%7C%201%0A" />

Condicional material :

<img src="https://tex.z-dn.net/?f=PQ%7C%20P%7B%5Cdisplaystyle%20%5Cto%20%7DQ%5C%5C%200%200%7C1%20%5C%5C%200%201%7C%201%5C%5C%201%200%7C0%5C%5C%201%201%7C%201%20" />

Bicondicional :

<img src="https://tex.z-dn.net/?f=PQ%7C%20P%7B%5Cdisplaystyle%20%5Cleftrightarrow%20%7DQ%5C%5C%200%200%7C1%20%5C%5C%200%201%7C%200%5C%5C%201%200%7C0%5C%5C%201%201%7C%201%20" />.