Jika proposisi p dan q ekuivalen, keduanya benar atau keduanya salah, yaitu keduanya memiliki nilai kebenaran yang sama. Tautologi adalah pernyataan yang selalu benar. Kontradiksi adalah pernyataan yang selalu salah.
Apa artinya P -> Q?
p → q (p menyiratkan q) (jika p maka q) adalah proposisi yang salah ketika p benar dan q salah dan benar sebaliknya.
Apa yang secara logika ekuivalen dengan P → Q?
P→Q secara logika setara dengan ¬P∨Q. … Contoh: “Jika suatu bilangan merupakan kelipatan 4, maka genap” sama dengan, “suatu bilangan bukan kelipatan 4 atau (lain) genap.”
Berapa P hanya jika Q?
Hanya jika memperkenalkan kondisi yang diperlukan: P hanya jika Q berarti bahwa kebenaran Q diperlukan, atau diperlukan, agar P benar. Artinya, P hanya jika Q mengesampingkan hanya satu kemungkinan: bahwa P benar dan Q salah.
Bila kondisi p → q salah?
Biarkan p dan q adalah dua pernyataan maka "jika p maka q" adalah pernyataan majemuk, dilambangkan dengan p→ q dan disebut sebagai pernyataan bersyarat, atau implikasi. Implikasi p→ q salah hanya jika p benar, dan q salah; jika tidak, itu selalu benar.
