Question

Resolva, tableaux Sêmantico:
(p v q) <--> (~p --> q)

Answer 1

|(p|v|q)|<-->|(~|p|-->|q)|
|V| V|V|   V  |F|V|  V |V|
|V| V|F|   V  |F|V|  V |F|
|F| V|V|   V  |V|F|  V |V|
|F| F|F|   V   |V|F|  F |F|

Esta preposição é Tautológica.