Fórmulas Logicamente Equivalentes

((p → q) ≡ ((∼ p) ∨ q))

((p ∨ q) ≡ ((∼ p) → q))

((p&q) ≡ (∼ (p → (∼ q))))

((p → q) ≡ (∼ (p&(∼ q))))

((p ≡ q) ≡ ((p → q)&(q → p)))

((p ∨ q) ≡ (∼ ((∼ p)&(∼ q))))

((p&q) ≡ (∼ ((∼ p) ∨ (∼ q))))

– Typeset by FoilTEX – 1
 Crie uma Linguagem L1 cujo alfabeto é constituído
por

1. Letras proposicionais

2. →, ∼

3. ( , )

Defina Fórmula e Fórmula bem-formada

Defina os demais conectivos lógicos em termos de negação e implicação

– Typeset by FoilTEX – 2
 Crie uma Linguagem L2 cujo alfabeto é constituído
por

1. Letras proposicionais

2. &, ∼

3. ( , )

Defina Fórmula e Fórmula bem-formada

Defina os demais conectivos lógicos em termos de negação e conjunção

– Typeset by FoilTEX – 3
 Crie uma Linguagem L3 cujo alfabeto é constituído
por

1. Letras proposicionais

2. ∨, ∼

3. ( , )

Defina Fórmula e Fórmula bem-formada

Defina os demais conectivos lógicos em termos de negação e disjunção

– Typeset by FoilTEX – 4
 Crie uma Linguagem L4 cujo alfabeto é constituído
por

1. Letras proposicionais

2. ⊥ (absurdo; funciona sintaticamente como letra proposicional; seu valor

semântico é sempre Falso)

3. →

4. ( , )

Defina Fórmula e Fórmula bem-formada

Defina os demais conectivos lógicos em termos de implicação e absurdo

– Typeset by FoilTEX – 5
 Crie uma Linguagem L5 cujo alfabeto é constituído
por

1. Letras proposicionais

2. | (operador binário: nem...e nem.... )

3. ( , )

A tabela de verdade de | é:

– Typeset by FoilTEX – 6
 p q (p|q)
V V F
V F F
F V F
F F V

Defina Fórmula e Fórmula bem-formada

Defina os demais conectivos lógicos em termos de implicação e absurdo

– Typeset by FoilTEX – 7
 Crie uma Linguagem L6 cujo alfabeto é constituído
por

1. Letras proposicionais

2. k (operador binário: nem...ou nem.... )

3. ( , )

A tabela de verdade de | é:

– Typeset by FoilTEX – 8
 p q (pkq)
V V F
V F V
F V V
F F V

Defina Fórmula e Fórmula bem-formada

Defina os demais conectivos lógicos em termos de implicação e absurdo

– Typeset by FoilTEX – 9